diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-01-30 13:16:59 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-01-30 13:16:59 +0000 |
| commit | 91fa391746049782a18da1554f736612416d24da (patch) | |
| tree | fcd99c25ee254d60f0d01f96aa1fad8c43bcb69b | |
| parent | Merge updates from master (diff) | |
| download | gentoo-91fa391746049782a18da1554f736612416d24da.tar.gz gentoo-91fa391746049782a18da1554f736612416d24da.tar.bz2 gentoo-91fa391746049782a18da1554f736612416d24da.zip | |
2023-01-30 13:16:59 UTC
| -rw-r--r-- | metadata/md5-cache/dev-ml/cmdliner-1.1.1 | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 | 4 | ||||
| -rw-r--r-- | metadata/timestamp.chk | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/dev-ml/cmdliner-1.1.1 b/metadata/md5-cache/dev-ml/cmdliner-1.1.1 index 69aeb98a8c43..284b41f4491d 100644 --- a/metadata/md5-cache/dev-ml/cmdliner-1.1.1 +++ b/metadata/md5-cache/dev-ml/cmdliner-1.1.1 @@ -5,10 +5,10 @@ EAPI=7 HOMEPAGE=http://erratique.ch/software/cmdliner INHERIT=findlib IUSE=+ocamlopt +ocamlopt -KEYWORDS=~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 +KEYWORDS=amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 LICENSE=ISC RDEPEND=>=dev-lang/ocaml-4.08.00:=[ocamlopt?] dev-ml/result:= dev-ml/findlib:= dev-lang/ocaml:=[ocamlopt?] SLOT=0/1.1.1 SRC_URI=http://erratique.ch/software/cmdliner/releases/cmdliner-1.1.1.tbz _eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 -_md5_=c6bb87f85ecc236196585a811f3f1dea +_md5_=a30e67b2e7ec36cd38cb4ce024459e0d diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 index 205ae7190966..a33a4ea378be 100644 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 @@ -6,11 +6,11 @@ EAPI=8 HOMEPAGE=https://alt-ergo.ocamlpro.com INHERIT=dune IUSE=examples gui +ocamlopt -KEYWORDS=~amd64 +KEYWORDS=amd64 LICENSE=CeCILL-C RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= >=dev-ml/cmdliner-1.1.0:= >=dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/num:= dev-ml/stdlib-shims:= dev-ml/zarith:= gui? ( dev-ml/lablgtk:3 dev-ml/lablgtk-sourceview:3 ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= REQUIRED_USE=ocamlopt SLOT=0/2.4.2 SRC_URI=https://github.com/OCamlPro/alt-ergo/archive/2.4.2.tar.gz -> alt-ergo-2.4.2.tar.gz _eclasses_=edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 dune 77dc707d5b61b8d0b0fe46cefbdfec3a -_md5_=5c7aebe552136afd037da15aeced3d7d +_md5_=dccb9cdb900f8e0b1bbe8b5d39dae5b2 diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 8390e18ca7e6..46be4b745a37 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Mon, 30 Jan 2023 13:02:03 +0000 +Mon, 30 Jan 2023 13:16:59 +0000 |