diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-28 05:40:38 +0000 |
| commit | 88f366f99d8e731ae1a13d9eca9a5284484d2c6f (patch) | |
| tree | 07a82726de0e87969c85cdfb68522c4d444939e9 /metadata/md5-cache/sci-mathematics | |
| parent | fdd31f37b982d2c1b6d73b85f99718b13031be36 (diff) | |
gentoo auto-resync : 28:02:2024 - 05:40:38
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 29721 -> 29732 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4 | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.19.0 | 4 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/verifpal-0.27.0 | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 9904d7af95dd..3d8ec3445ea1 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/cadabra-2.4.5.4 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4 index ca70c51fbc9a..0a6d3575e0ac 100644 --- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4 +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.5.4 @@ -6,7 +6,7 @@ EAPI=8 HOMEPAGE=https://cadabra.science/ https://github.com/kpeeters/cadabra2/ INHERIT=xdg-utils python-single-r1 cmake IUSE=gui +jupyter test python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=GPL-3 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 ) app-text/dvipng dev-cpp/glibmm:2 dev-db/sqlite:3= dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/jsoncpp:= dev-libs/libsigc++:2 dev-texlive/texlive-basic python_single_target_python3_10? ( dev-python/gmpy:2[python_targets_python3_10(-)] dev-python/matplotlib[python_targets_python3_10(-)] dev-python/sympy[python_targets_python3_10(-)] jupyter? ( dev-python/jupyter[python_targets_python3_10(-)] ) ) python_single_target_python3_11? ( dev-python/gmpy:2[python_targets_python3_11(-)] dev-python/matplotlib[python_targets_python3_11(-)] dev-python/sympy[python_targets_python3_11(-)] jupyter? ( dev-python/jupyter[python_targets_python3_11(-)] ) ) python_single_target_python3_12? ( dev-python/gmpy:2[python_targets_python3_12(-)] dev-python/matplotlib[python_targets_python3_12(-)] dev-python/sympy[python_targets_python3_12(-)] jupyter? ( dev-python/jupyter[python_targets_python3_12(-)] ) ) gui? ( dev-cpp/gtkmm:3.0 ) REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 python_single_target_python3_12 ) @@ -14,4 +14,4 @@ RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.5.4.tar.gz -> cadabra-2.4.5.4.tar.gz _eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 042f4cc53680245bf99a84669b94155a toolchain-funcs e56c7649b804f051623c8bc1a1c44084 xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=97b107e4ffd57243ac04502cab3840c1 +_md5_=7f7c92a5eab650e214fb1b660a3b3ee1 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.0 b/metadata/md5-cache/sci-mathematics/coq-8.19.0 index 5ca4b798c361..2909f122811b 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.19.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.19.0 @@ -6,11 +6,11 @@ EAPI=8 HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/ INHERIT=check-reqs desktop dune edo IUSE=debug doc gui +ocamlopt test -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=LGPL-2.1 RDEPEND=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:= RESTRICT=test SLOT=0/8.19.0 SRC_URI=https://github.com/coq/coq/archive/V8.19.0.tar.gz -> coq-8.19.0.tar.gz _eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe -_md5_=99086e6ff19a76199c9aa6d0564ada66 +_md5_=9c4bead10ee6b153d585795040c29938 diff --git a/metadata/md5-cache/sci-mathematics/verifpal-0.27.0 b/metadata/md5-cache/sci-mathematics/verifpal-0.27.0 index 2e4674bbec61..fe4802da327f 100644 --- a/metadata/md5-cache/sci-mathematics/verifpal-0.27.0 +++ b/metadata/md5-cache/sci-mathematics/verifpal-0.27.0 @@ -9,5 +9,5 @@ LICENSE=GPL-3+ RESTRICT=strip SLOT=0 SRC_URI=https://source.symbolic.software/verifpal/verifpal/-/archive/v0.27.0/verifpal-v0.27.0.tar.bz2 https://dev.gentoo.org/~xgqt/distfiles/deps/verifpal-0.27.0-deps.tar.xz -_eclasses_=go-env 96e1747610bbb2f5c5d3fb16f0f3a83a go-module 09ccb1fdea4f1f3f718e27b756636097 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 +_eclasses_=go-env 96e1747610bbb2f5c5d3fb16f0f3a83a go-module 83fd3ed1657cfc316c93d6a37018290d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084 _md5_=7459a5e9c9756601e19606c9190cf485 |