diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 29210 -> 29214 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 | 15 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.17.1 | 16 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/opensmt-2.5.1 (renamed from metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2) | 6 |
4 files changed, 19 insertions, 18 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex da8c061785be..4834200d357f 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 b/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 deleted file mode 100644 index 4a41d7335e4d..000000000000 --- a/metadata/md5-cache/sci-mathematics/coq-8.13.0-r1 +++ /dev/null @@ -1,15 +0,0 @@ -DEFINED_PHASES=compile configure install test -DEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) doc? ( media-libs/netpbm[png,postscript(+),zlib(+)] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra ) >=dev-ml/findlib-1.0.4-r1[ocamlopt?] -DESCRIPTION=Proof assistant written in O'Caml -EAPI=7 -HOMEPAGE=http://coq.inria.fr/ -INHERIT=desktop findlib -IUSE=gtk debug +ocamlopt doc +ocamlopt -KEYWORDS=~amd64 ~x86 -LICENSE=LGPL-2.1 -RDEPEND=dev-ml/zarith || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-lang/ocaml:=[ocamlopt?] -RESTRICT=test -SLOT=0/8.13.0 -SRC_URI=https://github.com/coq/coq/archive/V8.13.0.tar.gz -> coq-8.13.0.tar.gz -_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d findlib cc1c14904708a0a28bcb256b342a808c -_md5_=09238a256c160ba8525deb5f9ce473dc diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.1 b/metadata/md5-cache/sci-mathematics/coq-8.17.1 new file mode 100644 index 000000000000..1152d61767de --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-8.17.1 @@ -0,0 +1,16 @@ +BDEPEND=dev-ml/findlib doc? ( >=dev-java/antlr-4.7:4 dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra dev-texlive/texlive-latexextra dev-texlive/texlive-xetex media-fonts/freefont ) test? ( dev-ml/ounit2 ) dev-lang/ocaml dev-ml/dune +DEFINED_PHASES=compile configure install prepare test +DEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DESCRIPTION=Proof assistant written in O'Caml +EAPI=8 +HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/ +INHERIT=desktop dune edo +IUSE=debug doc gui +ocamlopt test +KEYWORDS=~amd64 ~x86 +LICENSE=LGPL-2.1 +RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +RESTRICT=!test? ( test ) +SLOT=0/8.17.1 +SRC_URI=https://github.com/coq/coq/archive/V8.17.1.tar.gz -> coq-8.17.1.tar.gz +_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_md5_=6a7ff97e8e02494b1b14d1b93b161bc4 diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2 b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1 index 476cc5c6940f..6434d967ece8 100644 --- a/metadata/md5-cache/sci-mathematics/opensmt-2.4.3-r2 +++ b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1 @@ -11,7 +11,7 @@ LICENSE=MIT RDEPEND=dev-libs/gmp:=[cxx] readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= ) REQUIRED_USE=?? ( libedit readline ) RESTRICT=!test? ( test ) -SLOT=0/2.4.3 -SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.4.3.tar.gz -> opensmt-2.4.3.tar.gz +SLOT=0/2.5.1 +SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.5.1.tar.gz -> opensmt-2.5.1.tar.gz _eclasses_=cmake 1abaebfe913f48975739281ab7d7ab75 flag-o-matic ad475baa777c9978fa035216c8264a10 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 76050953ad5b70d7e09a6ca55558db92 toolchain-funcs 513c31b3346458ed1f3878b57da6d61c xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=9fa742eeca6812e326030d77c6312a90 +_md5_=fb1afbbfccdd0d3fcf6b58d691007f37 |