diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 33116 -> 33288 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.17.1-r1 (renamed from metadata/md5-cache/sci-mathematics/coq-8.17.1) | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.19.2-r1 (renamed from metadata/md5-cache/sci-mathematics/coq-8.19.2) | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.20.0-r1 (renamed from metadata/md5-cache/sci-mathematics/coq-8.20.0) | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.14.1 | 16 |
5 files changed, 22 insertions, 6 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 175aaf8ae47b..5936b376949a 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.17.1 b/metadata/md5-cache/sci-mathematics/coq-8.17.1-r1 index 06ed41558e7e..1374a09a9c34 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.17.1 +++ b/metadata/md5-cache/sci-mathematics/coq-8.17.1-r1 @@ -1,4 +1,4 @@ -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 +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-5 dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare pretend setup test DEPEND=dev-ml/num:= dev-ml/zarith:= 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 @@ -13,4 +13,4 @@ RESTRICT=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_=check-reqs 2a9731073c152554078a9a8df8fc0f1b desktop 3a72ffe0d8e1dd73af3a1c8c15a59fed dune 21c2970666b517829dc7b963ca1f4a4a edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 1e32df7deee68372153dca65f4a7c21f -_md5_=5ad173cd15ac61b2b8b828f4472d383e +_md5_=49cefab8b61108902a129e9da63757f3 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.2 b/metadata/md5-cache/sci-mathematics/coq-8.19.2-r1 index f80f10269270..78cca1205b62 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.19.2 +++ b/metadata/md5-cache/sci-mathematics/coq-8.19.2-r1 @@ -1,4 +1,4 @@ -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 +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-5 dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare pretend setup test DEPEND=dev-ml/num:= dev-ml/zarith:= 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 @@ -13,4 +13,4 @@ RESTRICT=test SLOT=0/8.19.2 SRC_URI=https://github.com/coq/coq/archive/V8.19.2.tar.gz -> coq-8.19.2.tar.gz _eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b desktop 3a72ffe0d8e1dd73af3a1c8c15a59fed dune 21c2970666b517829dc7b963ca1f4a4a edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 1e32df7deee68372153dca65f4a7c21f -_md5_=2c60d8892df3a66baa66291f0280c6e5 +_md5_=299cb8c473c023e0329e628ae19d4f5b diff --git a/metadata/md5-cache/sci-mathematics/coq-8.20.0 b/metadata/md5-cache/sci-mathematics/coq-8.20.0-r1 index e9f0a9e223bc..07749bc1f513 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.20.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.20.0-r1 @@ -1,4 +1,4 @@ -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 +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-5 dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare pretend setup test DEPEND=dev-ml/num:= dev-ml/zarith:= 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 @@ -13,4 +13,4 @@ RESTRICT=test SLOT=0/8.20.0 SRC_URI=https://github.com/coq/coq/archive/V8.20.0.tar.gz -> coq-8.20.0.tar.gz _eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b desktop 3a72ffe0d8e1dd73af3a1c8c15a59fed dune 21c2970666b517829dc7b963ca1f4a4a edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 1e32df7deee68372153dca65f4a7c21f -_md5_=1fc81e45be310bbf86168c098bb93222 +_md5_=007c6551a3be761e82674b96599e8e71 diff --git a/metadata/md5-cache/sci-mathematics/z3-4.14.1 b/metadata/md5-cache/sci-mathematics/z3-4.14.1 new file mode 100644 index 000000000000..53d96dc1baa0 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/z3-4.14.1 @@ -0,0 +1,16 @@ +BDEPEND=doc? ( app-text/doxygen[dot] ) app-alternatives/ninja >=dev-build/cmake-3.20.5 +DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup test +DEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) python_single_target_python3_13? ( dev-lang/python:3.13 ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=virtual/jdk-1.8 ) java? ( >=dev-java/java-config-2.2.0-r3 ) +DESCRIPTION=An efficient theorem prover +EAPI=8 +HOMEPAGE=https://github.com/Z3Prover/z3/ +INHERIT=cmake-multilib java-pkg-opt-2 python-single-r1 +IUSE=doc examples gmp isabelle java python abi_x86_32 abi_x86_64 abi_x86_x32 abi_mips_n32 abi_mips_n64 abi_mips_o32 abi_s390_32 abi_s390_64 java python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 +KEYWORDS=~amd64 ~arm ~arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc ~x86 +LICENSE=MIT +RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) python_single_target_python3_12? ( dev-lang/python:3.12 ) python_single_target_python3_13? ( dev-lang/python:3.13 ) gmp? ( dev-libs/gmp:0=[cxx(+),abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_s390_32(-)?,abi_s390_64(-)?] ) java? ( >=dev-java/java-config-2.2.0-r3 ) +REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 python_single_target_python3_13 ) +SLOT=0/4.14 +SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.14.1.tar.gz +_eclasses_=cmake 10a50dfaf728b802fcfd37f8d0da9056 cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic 357f1a896fbedcd06e5ce55419c49eb9 java-pkg-opt-2 28044ae40e7846886b6f5eca24661629 java-utils-2 c610b1541a10e37cb26ab5b707a744f1 multibuild 4650a65187015567b4e041bb9bfdb364 multilib b2a329026f2e404e9e371097dda47f96 multilib-build 9ac26ea006828266d235e2f0135429b5 multilib-minimal e9f54d75b074edc47d36994bbc1e2123 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 out-of-source-utils dbf9e34ee8964084651e25907fa8f52c python-single-r1 47d8ac9be330c9366112b78fd4f8ce57 python-utils-r1 b7726144f5af59e186d66746d0f513e5 toolchain-funcs 6afdb6107430c1832ca7e16aacbf8fa1 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 +_md5_=3b22d04a22fe17fcd56b5443ae4549f0 |