From e44b9cf3e5b67eaf723e4a335faf39c87167abd3 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 27 Dec 2022 20:10:49 +0000 Subject: gentoo auto-resync : 27:12:2022 - 20:10:49 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 27891 -> 27910 bytes .../md5-cache/sci-mathematics/alectryon-1.4.0-r1 | 2 +- .../md5-cache/sci-mathematics/alt-ergo-2.4.1-r2 | 4 ++-- .../sci-mathematics/alt-ergo-2.4.1_p20220407-r1 | 4 ++-- .../md5-cache/sci-mathematics/alt-ergo-2.4.2-r1 | 4 ++-- metadata/md5-cache/sci-mathematics/arb-2.19.0 | 2 +- metadata/md5-cache/sci-mathematics/arb-2.21.0 | 2 +- metadata/md5-cache/sci-mathematics/arb-2.22.1 | 2 +- metadata/md5-cache/sci-mathematics/arb-2.23.0 | 2 +- metadata/md5-cache/sci-mathematics/cadabra-2.4.2.1 | 2 +- metadata/md5-cache/sci-mathematics/cadabra-2.4.2.2 | 2 +- metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2 | 2 +- metadata/md5-cache/sci-mathematics/cgal-5.5 | 2 +- metadata/md5-cache/sci-mathematics/coq-8.15.2 | 4 ++-- metadata/md5-cache/sci-mathematics/coq-8.16.0 | 4 ++-- metadata/md5-cache/sci-mathematics/coq-8.16.1 | 4 ++-- .../md5-cache/sci-mathematics/coq-serapi-0.15.0-r3 | 4 ++-- .../md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 | 4 ++-- .../md5-cache/sci-mathematics/coq-serapi-0.16.1 | 4 ++-- .../md5-cache/sci-mathematics/cryptominisat-5.8.0 | 2 +- metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 | 2 +- metadata/md5-cache/sci-mathematics/cvc4-1.8-r2 | 2 +- metadata/md5-cache/sci-mathematics/diagrtb-2.64 | 2 +- .../md5-cache/sci-mathematics/dunshire-0.1.1-r2 | 2 +- .../sci-mathematics/easycrypt-1.0_pre20220303-r1 | 4 ++-- .../md5-cache/sci-mathematics/easycrypt-2022.04-r1 | 4 ++-- .../sci-mathematics/easycrypt-2022.04_p20220505 | 4 ++-- metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/fann-9999 | 2 +- metadata/md5-cache/sci-mathematics/flint-2.8.4 | 2 +- metadata/md5-cache/sci-mathematics/flint-2.8.5 | 2 +- metadata/md5-cache/sci-mathematics/flint-2.9.0 | 2 +- metadata/md5-cache/sci-mathematics/gappa-1.4.1 | 2 +- metadata/md5-cache/sci-mathematics/genius-1.0.27 | 2 +- metadata/md5-cache/sci-mathematics/ginac-1.7.11 | 2 +- metadata/md5-cache/sci-mathematics/ginac-1.8.0 | 2 +- metadata/md5-cache/sci-mathematics/ginac-1.8.2 | 2 +- metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.49.0 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.50.1 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.50.2 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.50.3 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.9999 | 2 +- metadata/md5-cache/sci-mathematics/libpoly-0.1.11 | 2 +- .../md5-cache/sci-mathematics/mathlib-tools-1.3.0 | 2 +- .../md5-cache/sci-mathematics/mathlib-tools-1.3.1 | 2 +- .../md5-cache/sci-mathematics/mathlib-tools-1.3.2 | 2 +- metadata/md5-cache/sci-mathematics/maxima-5.46.0 | 2 +- metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 | 2 +- metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 | 2 +- metadata/md5-cache/sci-mathematics/polymake-4.6-r1 | 2 +- metadata/md5-cache/sci-mathematics/polymake-4.8 | 2 +- metadata/md5-cache/sci-mathematics/primecount-7.4 | 2 +- metadata/md5-cache/sci-mathematics/primecount-7.6 | 2 +- metadata/md5-cache/sci-mathematics/primesieve-11.0 | 2 +- metadata/md5-cache/sci-mathematics/primesieve-8.0 | 2 +- .../md5-cache/sci-mathematics/psmt2-frontend-0.4.0 | 4 ++-- metadata/md5-cache/sci-mathematics/pspp-1.6.0-r1 | 2 +- metadata/md5-cache/sci-mathematics/pspp-1.6.2-r1 | 2 +- metadata/md5-cache/sci-mathematics/rkward-0.7.5 | 2 +- metadata/md5-cache/sci-mathematics/slepc-3.16.0 | 2 +- metadata/md5-cache/sci-mathematics/slepc-3.17.1 | 2 +- metadata/md5-cache/sci-mathematics/stp-2.3.3-r2 | 2 +- metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 | 2 +- metadata/md5-cache/sci-mathematics/vampire-4.7-r1 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 | 2 +- metadata/md5-cache/sci-mathematics/yacas-1.9.1 | 2 +- metadata/md5-cache/sci-mathematics/z3-4.11.2 | 2 +- 71 files changed, 83 insertions(+), 83 deletions(-) (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index 857e984ae57a..987ee388125c 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz differ diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 index 2221aa2d20cd..d11d42d75218 100644 --- a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 +++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 @@ -12,5 +12,5 @@ RDEPEND=dev-python/beautifulsoup4[python_targets_python3_8(-)?,python_targets_py REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) SLOT=0 SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz -_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-r1 2d51fd03931e743811ce30d198e4dcfd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-r1 ca02b49ab4dd44b606c151aa296ef399 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=4669c1b36c77bdfc3a2a2436da48079a diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r2 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r2 index 733229efcfd1..c35d46def131 100644 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r2 +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1-r2 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune-configurator dev-ml/dune dev-lang/ocaml +BDEPEND=dev-ml/dune-configurator dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare test DEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= =dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/num:= dev-ml/seq:= dev-ml/stdlib-shims:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Automatic theorem prover @@ -11,5 +11,5 @@ LICENSE=CeCILL-C RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0.4.0:= =dev-ml/menhir-20181006:= >=dev-ml/ocplib-simplex-0.4:= dev-ml/camlzip:= dev-ml/num:= dev-ml/seq:= dev-ml/stdlib-shims:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/2.4.1 SRC_URI=https://github.com/OCamlPro/alt-ergo/archive/2.4.1.tar.gz -> alt-ergo-2.4.1.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=9fd9c0f25a22bc0b3076ab971f655651 diff --git a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1_p20220407-r1 b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1_p20220407-r1 index e13f69f39fc6..8512136ce608 100644 --- a/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1_p20220407-r1 +++ b/metadata/md5-cache/sci-mathematics/alt-ergo-2.4.1_p20220407-r1 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune-configurator dev-ml/dune dev-lang/ocaml +BDEPEND=dev-ml/dune-configurator dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare test DEPEND=>=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/seq:= dev-ml/stdlib-shims:= dev-ml/zarith:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Automatic theorem prover @@ -12,5 +12,5 @@ RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0. REQUIRED_USE=ocamlopt SLOT=0/2.4.1_p20220407 SRC_URI=https://github.com/OCamlPro/alt-ergo/archive/4e082218efe6e0e2315331580bbd08306c1f8a2d.tar.gz -> alt-ergo-2.4.1_p20220407.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=ef7a5aa7b08d412c394aa0930e282d93 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 1ffaf64b2ad2..261f7854cc29 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 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune-configurator dev-ml/dune dev-lang/ocaml +BDEPEND=dev-ml/dune-configurator dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install prepare test DEPEND=>=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:= DESCRIPTION=Automatic theorem prover @@ -12,5 +12,5 @@ RDEPEND=>=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=sci-mathematics/psmt2-frontend-0. 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_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=5c7aebe552136afd037da15aeced3d7d diff --git a/metadata/md5-cache/sci-mathematics/arb-2.19.0 b/metadata/md5-cache/sci-mathematics/arb-2.19.0 index 1fc4807c1d0a..2ede6c0d3f44 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.19.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.19.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.19.0.tar.gz -> arb-2.19.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=b7de4320a8e61e0af2323ed68b1268e3 diff --git a/metadata/md5-cache/sci-mathematics/arb-2.21.0 b/metadata/md5-cache/sci-mathematics/arb-2.21.0 index 3329820b279b..901a6ddcec3f 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.21.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.21.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.21.0.tar.gz -> arb-2.21.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=8594329b40a38e47f2f4fd829151d24b diff --git a/metadata/md5-cache/sci-mathematics/arb-2.22.1 b/metadata/md5-cache/sci-mathematics/arb-2.22.1 index aa26800745de..81850632b882 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.22.1 +++ b/metadata/md5-cache/sci-mathematics/arb-2.22.1 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= sci-mathematics/flint:= RESTRICT=!test? ( test ) SLOT=0/3 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.22.1.tar.gz -> arb-2.22.1.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=04c9673e63bc0032e7eb5c6b86f4fcaf diff --git a/metadata/md5-cache/sci-mathematics/arb-2.23.0 b/metadata/md5-cache/sci-mathematics/arb-2.23.0 index d7932f7dc228..d9c3a0fa2627 100644 --- a/metadata/md5-cache/sci-mathematics/arb-2.23.0 +++ b/metadata/md5-cache/sci-mathematics/arb-2.23.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:0= dev-libs/mpfr:0= >=sci-mathematics/flint-2.9.0:= RESTRICT=!test? ( test ) SLOT=0/3 SRC_URI=https://github.com/fredrik-johansson/arb/archive/2.23.0.tar.gz -> arb-2.23.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=8fdc803485bfe1c79f59359782c0d3a0 diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.1 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.1 index 5504fe46300e..669150714a79 100644 --- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.1 +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.1 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.2.1.tar.gz -> cadabra-2.4.2.1.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=3c16ffaf125c1eb77c7b71c78bc63e58 diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.2 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.2 index da4fae1ccb7c..be983eb8e178 100644 --- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.2 +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2.2 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.2.2.tar.gz -> cadabra-2.4.2.2.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=3c16ffaf125c1eb77c7b71c78bc63e58 diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2 index e3d57f093947..8cf736132f74 100644 --- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2 +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 RESTRICT=!test? ( test ) SLOT=0/2 SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.3.2.tar.gz -> cadabra-2.4.3.2.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=3c16ffaf125c1eb77c7b71c78bc63e58 diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.5 b/metadata/md5-cache/sci-mathematics/cgal-5.5 index 44c004be211c..671012098ae9 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.5 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.5 @@ -11,5 +11,5 @@ LICENSE=LGPL-3 GPL-3 Boost-1.0 RDEPEND=dev-cpp/eigen dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/mpfr:= sys-libs/zlib x11-libs/libX11:= virtual/glu:= virtual/opengl:= SLOT=0/14 SRC_URI=https://github.com/CGAL/cgal/releases/download/v5.5/CGAL-5.5.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.5/CGAL-5.5-doc_html.tar.xz ) -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=639d7ef18dc6914932d301de9401d787 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.15.2 b/metadata/md5-cache/sci-mathematics/coq-8.15.2 index 4ea4994bdf95..d7956815f833 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.15.2 +++ b/metadata/md5-cache/sci-mathematics/coq-8.15.2 @@ -1,4 +1,4 @@ -BDEPEND=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 ) dev-ml/dune dev-lang/ocaml +BDEPEND=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 ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install test DEPEND=dev-ml/zarith:= || ( dev-ml/num =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Proof assistant written in O'Caml @@ -12,5 +12,5 @@ RDEPEND=dev-ml/zarith:= || ( dev-ml/num coq-8.15.2.tar.gz -_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=b1485dd39cb0ad08c03e41357f67bdc1 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.0 b/metadata/md5-cache/sci-mathematics/coq-8.16.0 index 83eda92132a5..6493751dc6f1 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.16.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.16.0 @@ -1,4 +1,4 @@ -BDEPEND=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 ) dev-ml/dune dev-lang/ocaml +BDEPEND=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 ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install test DEPEND=dev-ml/zarith:= || ( dev-ml/num =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 @@ -12,5 +12,5 @@ RDEPEND=dev-ml/zarith:= || ( dev-ml/num coq-8.16.0.tar.gz -_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=26fc4a4776269714bef3e8fc0e101fe7 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.16.1 b/metadata/md5-cache/sci-mathematics/coq-8.16.1 index ea97ff55a101..46639af1e762 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.16.1 +++ b/metadata/md5-cache/sci-mathematics/coq-8.16.1 @@ -1,4 +1,4 @@ -BDEPEND=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 ) dev-ml/dune dev-lang/ocaml +BDEPEND=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 ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile configure install test DEPEND=dev-ml/zarith:= || ( dev-ml/num =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 @@ -12,5 +12,5 @@ RDEPEND=dev-ml/zarith:= || ( dev-ml/num coq-8.16.1.tar.gz -_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=desktop 7eb20ad915a0a318176d51bc2508ff5c dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=26fc4a4776269714bef3e8fc0e101fe7 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0-r3 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0-r3 index 980d2c9304ac..9be3d95417e4 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0-r3 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.15.0-r3 @@ -1,4 +1,4 @@ -BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-ml/dune dev-lang/ocaml +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install postinst postrm test DEPEND=>=sci-mathematics/coq-8.15.0:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.15.0:= =dev-ml/ppx_ RESTRICT=!test? ( test ) SLOT=0/0.15.0 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.15.0+0.15.0.tar.gz -> coq-serapi-0.15.0.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=1ff321b808bc460caca392646a05b12c diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 index 9a216e5cb728..c90c9f98c720 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 @@ -1,4 +1,4 @@ -BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-ml/dune dev-lang/ocaml +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install postinst postrm test DEPEND=>=sci-mathematics/coq-8.16.0:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.16.0:= =dev-ml/ppx_ RESTRICT=!test? ( test ) SLOT=0/0.16.0 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.0.tar.gz -> coq-serapi-0.16.0.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=868e7b3972f5c5e8dd8e659c1f2593e3 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 index 21468e975b00..e371f2654d0b 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.1 @@ -1,4 +1,4 @@ -BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-ml/dune dev-lang/ocaml +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install postinst postrm test DEPEND=>=sci-mathematics/coq-8.16.0:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/coq-8.16.0:= =dev-ml/ppx_ RESTRICT=!test? ( test ) SLOT=0/0.16.1 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.1.tar.gz -> coq-serapi-0.16.1.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=868e7b3972f5c5e8dd8e659c1f2593e3 diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 index ab8bc88c0211..0695f71167a6 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.8.0 @@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_ RESTRICT=test SLOT=0/5.8.0 SRC_URI=https://github.com/msoos/cryptominisat/archive/5.8.0.tar.gz -> cryptominisat-5.8.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=deb5232634cb85a9e60b29dec9f2ff70 diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 index 0525eb0f5bc3..c29613ee3b48 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.7-r1 @@ -11,5 +11,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) SLOT=0 SRC_URI=https://github.com/CVC4/CVC4/archive/1.7.tar.gz -> cvc4-1.7.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=73eb7557b250b6e03a10a8a21b4ef72b diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r2 b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r2 index 81ca574abe5c..732962fa634d 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r2 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r2 @@ -11,5 +11,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) SLOT=0 SRC_URI=https://github.com/CVC4/CVC4-archived/archive/refs/tags/1.8.tar.gz -> cvc4-1.8.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=c3e08976a3e065178c913e853200bb40 diff --git a/metadata/md5-cache/sci-mathematics/diagrtb-2.64 b/metadata/md5-cache/sci-mathematics/diagrtb-2.64 index 2869966a0377..f4813d4093e7 100644 --- a/metadata/md5-cache/sci-mathematics/diagrtb-2.64 +++ b/metadata/md5-cache/sci-mathematics/diagrtb-2.64 @@ -12,5 +12,5 @@ RDEPEND=virtual/fortran RESTRICT=mirror bindist SLOT=0 SRC_URI=http://ecole.modelisation.free.fr/rtb2011.tar.gz -> diagrtb-2.64.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9d6abef4976841d445b75446ef4cc6d3 diff --git a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r2 b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r2 index 139d64b14790..dabc06adf263 100644 --- a/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r2 +++ b/metadata/md5-cache/sci-mathematics/dunshire-0.1.1-r2 @@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targe RESTRICT=!test? ( test ) SLOT=0 SRC_URI=mirror://pypi/d/dunshire/dunshire-0.1.1.tar.gz -_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-r1 2d51fd03931e743811ce30d198e4dcfd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-r1 ca02b49ab4dd44b606c151aa296ef399 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=96bed015ec7c7ef5f405e89d4e5a3a1a diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 index 777256d3a791..6784f2f9515b 100644 --- a/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 +++ b/metadata/md5-cache/sci-mathematics/easycrypt-1.0_pre20220303-r1 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune dev-lang/ocaml +BDEPEND=dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install prepare test DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Computer-Aided Cryptographic Proofs @@ -11,5 +11,5 @@ LICENSE=CeCILL-B CeCILL-C RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/1.0_pre20220303 SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/c98b014c131b6c0b147b852902953dd6c5771603.tar.gz -> easycrypt-1.0_pre20220303.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=a97a01b7cd963330d4b786f94baee657 diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 index f16899c28ee3..14df392e3dbc 100644 --- a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 +++ b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04-r1 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune dev-lang/ocaml +BDEPEND=dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install prepare test DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Computer-Aided Cryptographic Proofs @@ -11,5 +11,5 @@ LICENSE=MIT RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.4:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/2022.04 SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/r2022.04.tar.gz -> easycrypt-2022.04.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=d29ce63d4a4fb2e8893b6f0014527d9b diff --git a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 index 89e6cbdf2a6a..b7419fe39b49 100644 --- a/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 +++ b/metadata/md5-cache/sci-mathematics/easycrypt-2022.04_p20220505 @@ -1,4 +1,4 @@ -BDEPEND=dev-ml/dune dev-lang/ocaml +BDEPEND=dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install prepare test DEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.5:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Computer-Aided Cryptographic Proofs @@ -11,5 +11,5 @@ LICENSE=MIT RDEPEND=>=dev-lang/ocaml-4.08.0:=[ocamlopt?] >=sci-mathematics/why3-1.5:= =dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/2022.04_p20220505 SRC_URI=https://github.com/EasyCrypt/easycrypt/archive/a49a0acf5f7e2776f6b10cd49f8a201ebab0cf03.tar.gz -> easycrypt-2022.04_p20220505.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=a507bef64dd1229f57a907c626f34bf8 diff --git a/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 b/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 index 9baa6b33f178..5d75be147eb7 100644 --- a/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 +++ b/metadata/md5-cache/sci-mathematics/fann-2.2.0-r1 @@ -9,5 +9,5 @@ KEYWORDS=~amd64 ~ppc ~x86 LICENSE=LGPL-2.1 SLOT=0 SRC_URI=mirror://sourceforge/fann/FANN-2.2.0-Source.zip -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=ea96bdf2c2e09f211063ecbad1fe07d0 diff --git a/metadata/md5-cache/sci-mathematics/fann-9999 b/metadata/md5-cache/sci-mathematics/fann-9999 index 485b6a62c868..a4637fd84c47 100644 --- a/metadata/md5-cache/sci-mathematics/fann-9999 +++ b/metadata/md5-cache/sci-mathematics/fann-9999 @@ -8,5 +8,5 @@ IUSE=examples LICENSE=LGPL-2.1 PROPERTIES=live SLOT=0 -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 git-r3 2347f8fe2d392b2a091191f94be37e6f multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 git-r3 2347f8fe2d392b2a091191f94be37e6f multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=5f307ad7613ca946ca89005f1d38fc29 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.4 b/metadata/md5-cache/sci-mathematics/flint-2.8.4 index 4abe78de97a4..45dcc03d3c89 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.8.4 +++ b/metadata/md5-cache/sci-mathematics/flint-2.8.4 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas RESTRICT=!test? ( test ) SLOT=0/16 SRC_URI=https://github.com/wbhart/flint2/archive/refs/tags/v2.8.4.tar.gz -> flint-2.8.4.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9e25bc7dc7de939717feaa7008d4b536 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.8.5 b/metadata/md5-cache/sci-mathematics/flint-2.8.5 index 59552fda39ee..f576634cbfa2 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.8.5 +++ b/metadata/md5-cache/sci-mathematics/flint-2.8.5 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas RESTRICT=!test? ( test ) SLOT=0/16 SRC_URI=https://github.com/wbhart/flint2/archive/refs/tags/v2.8.5.tar.gz -> flint-2.8.5.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=0b3820ddb030d9316e2df64f5be90fd4 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.9.0 b/metadata/md5-cache/sci-mathematics/flint-2.9.0 index 5e2832750d83..8f3ba4d9a589 100644 --- a/metadata/md5-cache/sci-mathematics/flint-2.9.0 +++ b/metadata/md5-cache/sci-mathematics/flint-2.9.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= dev-libs/mpfr:= ntl? ( dev-libs/ntl:= ) virtual/cblas RESTRICT=!test? ( test ) SLOT=0/17 SRC_URI=https://github.com/wbhart/flint2/archive/refs/tags/v2.9.0.tar.gz -> flint-2.9.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=2a8b4f3d6c677a88fb6b6f6469cc6fc8 diff --git a/metadata/md5-cache/sci-mathematics/gappa-1.4.1 b/metadata/md5-cache/sci-mathematics/gappa-1.4.1 index 2fc21dcb2630..2af0d2be6b48 100644 --- a/metadata/md5-cache/sci-mathematics/gappa-1.4.1 +++ b/metadata/md5-cache/sci-mathematics/gappa-1.4.1 @@ -11,5 +11,5 @@ LICENSE=CeCILL-2 GPL-3+ RDEPEND=dev-libs/boost:= dev-libs/gmp:0= dev-libs/mpfr:0= SLOT=0 SRC_URI=https://gappa.gitlabpages.inria.fr/releases/gappa-1.4.1.tar.gz -_eclasses_=docs 2af4a2f0074bd646101ce0f66ca6dd03 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=docs 314e509c51630fb75f120d62a77d008c multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=5625670b496a0bf83433c98f0ced42a5 diff --git a/metadata/md5-cache/sci-mathematics/genius-1.0.27 b/metadata/md5-cache/sci-mathematics/genius-1.0.27 index f993d6097aed..5717094cade0 100644 --- a/metadata/md5-cache/sci-mathematics/genius-1.0.27 +++ b/metadata/md5-cache/sci-mathematics/genius-1.0.27 @@ -11,5 +11,5 @@ LICENSE=GPL-3+ RDEPEND=>=dev-libs/glib-2.41.1:2 dev-libs/gmp:0= dev-libs/mpfr:0= sys-libs/ncurses:0= sys-libs/readline:0= >=x11-libs/gtk+-3.21.4:3 >=x11-libs/vte-0.50.0:2.91 gui? ( >=x11-libs/gtk+-3.21.4:3 ) SLOT=0 SRC_URI=mirror://gnome/sources/genius/1.0/genius-1.0.27.tar.xz doc? ( https://www.jirka.org/genius-reference.pdf ) -_eclasses_=autotools 6dcd6b6a486e79928e1243ff9ba41fcc gnome.org 429073e99d7067d3462e875bf5c6e14a gnome2 4f729d9211b2e3c00a285d6301a557e1 gnome2-utils 2116cec8f46f4d1b0a88c5b1f1575dd3 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=autotools 6dcd6b6a486e79928e1243ff9ba41fcc gnome.org 429073e99d7067d3462e875bf5c6e14a gnome2 8dcac7a0c320f92299160b297d4fec6f gnome2-utils 2116cec8f46f4d1b0a88c5b1f1575dd3 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=797a934633a7d748d114a19adb739926 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 index b45c1de4073f..f13a045af33f 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.7.11 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.7.11 @@ -11,5 +11,5 @@ LICENSE=GPL-2+ RDEPEND=>=sci-libs/cln-1.2.2 SLOT=0 SRC_URI=http://www.ginac.de/ginac-1.7.11.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=c7a69fd03dd2c3d970bf5b25386b75d9 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 b/metadata/md5-cache/sci-mathematics/ginac-1.8.0 index 2bc7990409a0..cd51c89f2231 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.8.0 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.0 @@ -11,5 +11,5 @@ LICENSE=GPL-2+ RDEPEND=>=sci-libs/cln-1.2.2 SLOT=0 SRC_URI=http://www.ginac.de/ginac-1.8.0.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=55426d1156ac0590535a83c0918bf8b6 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.2 b/metadata/md5-cache/sci-mathematics/ginac-1.8.2 index 5cedc6bcd427..2bfe93e3daa0 100644 --- a/metadata/md5-cache/sci-mathematics/ginac-1.8.2 +++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.2 @@ -11,5 +11,5 @@ LICENSE=GPL-2+ RDEPEND=>=sci-libs/cln-1.2.2 SLOT=0 SRC_URI=http://www.ginac.de/ginac-1.8.2.tar.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=3e007c3da4cb8cd0a6b7c755fb1c2d11 diff --git a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 index 1c76d4188070..3c61bc973644 100644 --- a/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 +++ b/metadata/md5-cache/sci-mathematics/gsl-shell-2.3.2 @@ -11,5 +11,5 @@ LICENSE=GPL-3 RDEPEND=>=sci-libs/gsl-1.14:= virtual/blas >=x11-libs/agg-2.5 >=media-libs/freetype-2.4.10 sys-libs/readline:0= || ( media-fonts/ubuntu-font-family media-fonts/freefont media-fonts/dejavu ) fox? ( x11-libs/fox:1.6 ) SLOT=0 SRC_URI=https://github.com/franko/gsl-shell/archive/refs/tags/v2.3.2.tar.gz -> gsl-shell-2.3.2.tar.gz -_eclasses_=docs 2af4a2f0074bd646101ce0f66ca6dd03 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=docs 314e509c51630fb75f120d62a77d008c multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=f4731f9c8f4d1a71fb9135da7f8f83ac diff --git a/metadata/md5-cache/sci-mathematics/lean-3.49.0 b/metadata/md5-cache/sci-mathematics/lean-3.49.0 index 9360212d788d..639a940b666b 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.49.0 +++ b/metadata/md5-cache/sci-mathematics/lean-3.49.0 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.49.0.tar.gz -> lean-3.49.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=175b5aed49c7ce0fa483af51cb447962 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.1 b/metadata/md5-cache/sci-mathematics/lean-3.50.1 index 6fa7fc56ac06..ea58ac5ada71 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.1 +++ b/metadata/md5-cache/sci-mathematics/lean-3.50.1 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.1.tar.gz -> lean-3.50.1.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9a0acb3193721cd936e6ac59b20e20bd diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.2 b/metadata/md5-cache/sci-mathematics/lean-3.50.2 index 92814a050969..4494d248a0cc 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.2 +++ b/metadata/md5-cache/sci-mathematics/lean-3.50.2 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.2.tar.gz -> lean-3.50.2.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9a0acb3193721cd936e6ac59b20e20bd diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.3 b/metadata/md5-cache/sci-mathematics/lean-3.50.3 index 3ba164c29d8a..9565889a2a84 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.50.3 +++ b/metadata/md5-cache/sci-mathematics/lean-3.50.3 @@ -11,5 +11,5 @@ LICENSE=Apache-2.0 RDEPEND=dev-libs/gmp:= SLOT=0/3 SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.3.tar.gz -> lean-3.50.3.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9a0acb3193721cd936e6ac59b20e20bd diff --git a/metadata/md5-cache/sci-mathematics/lean-3.9999 b/metadata/md5-cache/sci-mathematics/lean-3.9999 index 83351345ba68..2beb5d1daf6d 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.9999 +++ b/metadata/md5-cache/sci-mathematics/lean-3.9999 @@ -10,5 +10,5 @@ LICENSE=Apache-2.0 PROPERTIES=live RDEPEND=dev-libs/gmp:= SLOT=0/3 -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 git-r3 2347f8fe2d392b2a091191f94be37e6f multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 git-r3 2347f8fe2d392b2a091191f94be37e6f multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=979d60fcec742724540b851215bf31f7 diff --git a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 index b241c7363c93..2b227bfb0a04 100644 --- a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 +++ b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/gmp:= python? ( python_single_target_python3_8? ( >=dev-lang/py REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) ) SLOT=0/0.1.11 SRC_URI=https://github.com/SRI-CSL/libpoly/archive/v0.1.11.tar.gz -> libpoly-0.1.11.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=cfb18f31a7346211318f2a67cab7b7e7 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.0 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.0 index 43fe941ad4a7..c00345df8503 100644 --- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.0 +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.0 @@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targe RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/1ce2e7143b2456867f4a671a078a4e9af3c73c11.tar.gz -> mathlib-tools-1.3.0.tar.gz -_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-r1 2d51fd03931e743811ce30d198e4dcfd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-r1 ca02b49ab4dd44b606c151aa296ef399 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=7cd4e17ad3acbf81826b062c48c00d75 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.1 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.1 index e76f4b2164cf..a51c56df494f 100644 --- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.1 +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.1 @@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targe RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/1ce2e7143b2456867f4a671a078a4e9af3c73c11.tar.gz -> mathlib-tools-1.3.1.tar.gz -_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-r1 2d51fd03931e743811ce30d198e4dcfd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-r1 ca02b49ab4dd44b606c151aa296ef399 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=7cd4e17ad3acbf81826b062c48c00d75 diff --git a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2 b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2 index b5c9b26f14c2..027a50cded8c 100644 --- a/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2 +++ b/metadata/md5-cache/sci-mathematics/mathlib-tools-1.3.2 @@ -12,5 +12,5 @@ REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targe RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/leanprover-community/mathlib-tools/archive/1ce2e7143b2456867f4a671a078a4e9af3c73c11.tar.gz -> mathlib-tools-1.3.2.tar.gz -_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-r1 2d51fd03931e743811ce30d198e4dcfd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=distutils-r1 9c5f8e35fdc556c29573796aca3e87ea multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-r1 ca02b49ab4dd44b606c151aa296ef399 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=7cd4e17ad3acbf81826b062c48c00d75 diff --git a/metadata/md5-cache/sci-mathematics/maxima-5.46.0 b/metadata/md5-cache/sci-mathematics/maxima-5.46.0 index 0a0b907e05fd..1eb43b6d865c 100644 --- a/metadata/md5-cache/sci-mathematics/maxima-5.46.0 +++ b/metadata/md5-cache/sci-mathematics/maxima-5.46.0 @@ -13,5 +13,5 @@ REQUIRED_USE=vtk? ( ^^ ( python_single_target_python3_8 python_single_target_pyt RESTRICT=test SLOT=0 SRC_URI=mirror://sourceforge/maxima/maxima-5.46.0.tar.gz -_eclasses_=autotools 6dcd6b6a486e79928e1243ff9ba41fcc eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=autotools 6dcd6b6a486e79928e1243ff9ba41fcc eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=500baeca116f3d07f872cdbd556d21e4 diff --git a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 index 767f626d2353..2ef5ac576948 100644 --- a/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 +++ b/metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 @@ -11,5 +11,5 @@ LICENSE=MIT RDEPEND=sys-libs/zlib:= SLOT=0/2.2.1 SRC_URI=https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz -> minisat-2.2.1.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf ) -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=fac114018ca9b6d7e277dee1812172a1 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 b/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 index e0c5aab5c6cf..49448dcc32c1 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.16.0-r1 @@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) hdf5? ( mpi ) hypre? ( cxx mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre ) SLOT=0 SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.16.0.tar.gz https://dev.gentoo.org/~sam/distfiles/sci-mathematics/petsc/petsc-3.16.0-fftw-without-mpi.patch.bz2 -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=387a0e608c3c08cf8b9f42bc25fcb060 diff --git a/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 b/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 index 379b27d80ce1..fafd1ebe76d1 100644 --- a/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 +++ b/metadata/md5-cache/sci-mathematics/petsc-3.17.1-r1 @@ -12,5 +12,5 @@ RDEPEND=virtual/blas virtual/lapack afterimage? ( media-libs/libafterimage ) boo REQUIRED_USE=afterimage? ( X ) complex-scalars? ( !hypre !superlu ) hdf5? ( mpi ) hypre? ( mpi !superlu ) mumps? ( mpi scotch ) scotch? ( mpi ) superlu? ( !hypre ) SLOT=0 SRC_URI=http://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.17.1.tar.gz -_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 fortran-2 72d28c6872beb1e7cb99684b0ae4715d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=291f17b84fca93e1e011add5519ee44d diff --git a/metadata/md5-cache/sci-mathematics/polymake-4.6-r1 b/metadata/md5-cache/sci-mathematics/polymake-4.6-r1 index b844d0657667..65e233e35e46 100644 --- a/metadata/md5-cache/sci-mathematics/polymake-4.6-r1 +++ b/metadata/md5-cache/sci-mathematics/polymake-4.6-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( bliss nauty ) RESTRICT=test SLOT=0 SRC_URI=https://polymake.org/lib/exe/fetch.php/download/polymake-4.6-minimal.tar.bz2 -_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=123aaed05bb75bcb8cd135becda1652a diff --git a/metadata/md5-cache/sci-mathematics/polymake-4.8 b/metadata/md5-cache/sci-mathematics/polymake-4.8 index 41747bc152fc..c044ded53696 100644 --- a/metadata/md5-cache/sci-mathematics/polymake-4.8 +++ b/metadata/md5-cache/sci-mathematics/polymake-4.8 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( bliss nauty ) RESTRICT=test SLOT=0 SRC_URI=https://polymake.org/lib/exe/fetch.php/download/polymake-4.8-minimal.tar.bz2 -_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 +_eclasses_=flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 _md5_=86ec4682f6b06c8aad5e914cb24c6a34 diff --git a/metadata/md5-cache/sci-mathematics/primecount-7.4 b/metadata/md5-cache/sci-mathematics/primecount-7.4 index fb1bae354309..2dba9dbe19bd 100644 --- a/metadata/md5-cache/sci-mathematics/primecount-7.4 +++ b/metadata/md5-cache/sci-mathematics/primecount-7.4 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/primesieve-8.0:= RESTRICT=!test? ( test ) SLOT=0/7 SRC_URI=https://github.com/kimwalisch/primecount/archive/refs/tags/v7.4.tar.gz -> primecount-7.4.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=493c9904f0827c769c6bf2600176941b diff --git a/metadata/md5-cache/sci-mathematics/primecount-7.6 b/metadata/md5-cache/sci-mathematics/primecount-7.6 index 0c0b6e615224..98e739010d1b 100644 --- a/metadata/md5-cache/sci-mathematics/primecount-7.6 +++ b/metadata/md5-cache/sci-mathematics/primecount-7.6 @@ -12,5 +12,5 @@ RDEPEND=>=sci-mathematics/primesieve-11.0:= RESTRICT=!test? ( test ) SLOT=0/7 SRC_URI=https://github.com/kimwalisch/primecount/archive/refs/tags/v7.6.tar.gz -> primecount-7.6.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=5f3b284f649dae2395ebed788b962dc0 diff --git a/metadata/md5-cache/sci-mathematics/primesieve-11.0 b/metadata/md5-cache/sci-mathematics/primesieve-11.0 index b9e7b83867b9..00995a406f83 100644 --- a/metadata/md5-cache/sci-mathematics/primesieve-11.0 +++ b/metadata/md5-cache/sci-mathematics/primesieve-11.0 @@ -10,5 +10,5 @@ LICENSE=BSD-2 RESTRICT=!test? ( test ) SLOT=0/11 SRC_URI=https://github.com/kimwalisch/primesieve/archive/refs/tags/v11.0.tar.gz -> primesieve-11.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=d7cc849a71368ee642e4e94b05ac73cc diff --git a/metadata/md5-cache/sci-mathematics/primesieve-8.0 b/metadata/md5-cache/sci-mathematics/primesieve-8.0 index 073336ba9dc9..1a365935ad8a 100644 --- a/metadata/md5-cache/sci-mathematics/primesieve-8.0 +++ b/metadata/md5-cache/sci-mathematics/primesieve-8.0 @@ -10,5 +10,5 @@ LICENSE=BSD-2 RESTRICT=!test? ( test ) SLOT=0/10 SRC_URI=https://github.com/kimwalisch/primesieve/archive/refs/tags/v8.0.tar.gz -> primesieve-8.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=49b0992be3117f5856d175872d547d92 diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 index 1d4ac2e80a38..d09695214bba 100644 --- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 +++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 @@ -1,4 +1,4 @@ -BDEPEND=test? ( dev-ml/ppx_expect dev-ml/ppx_inline_test ) dev-ml/dune dev-lang/ocaml +BDEPEND=test? ( dev-ml/ppx_expect dev-ml/ppx_inline_test ) dev-lang/ocaml dev-ml/dune DEFINED_PHASES=compile install test DEPEND=>=dev-ml/menhir-20181006:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Library to parse and type-check an extension of the SMT-LIB 2 standard @@ -12,5 +12,5 @@ RDEPEND=>=dev-ml/menhir-20181006:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=!test? ( test ) SLOT=0/0.4.0 SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> psmt2-frontend-0.4.0.tar.gz -_eclasses_=dune db0ce2a301411f44e4ee90e5c591ada0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_eclasses_=dune 05e1ecac420bb190bc7f981fdd670d96 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 _md5_=5c6cd9f4f1c220aed0bdf02f3deaacfc diff --git a/metadata/md5-cache/sci-mathematics/pspp-1.6.0-r1 b/metadata/md5-cache/sci-mathematics/pspp-1.6.0-r1 index 857f1231437e..13419ddf3cfe 100644 --- a/metadata/md5-cache/sci-mathematics/pspp-1.6.0-r1 +++ b/metadata/md5-cache/sci-mathematics/pspp-1.6.0-r1 @@ -12,5 +12,5 @@ LICENSE=GPL-3 RDEPEND=dev-libs/libxml2:2 sci-libs/gsl:0= sys-devel/gettext sys-libs/ncurses:0= sys-libs/readline:0= sys-libs/zlib virtual/libiconv x11-libs/cairo[svg(+)] x11-libs/pango gtk? ( dev-util/glib-utils x11-libs/gtk+:3 x11-libs/gtksourceview:4= >=x11-libs/spread-sheet-widget-0.7 ) postgres? ( dev-db/postgresql:=[server] ) SLOT=0/1.6.0 SRC_URI=mirror://gnu/pspp/pspp-1.6.0.tar.gz -_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=f046c77796d6bb6f88047c862965ac09 diff --git a/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r1 b/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r1 index 54972b49d85b..73b624904318 100644 --- a/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r1 +++ b/metadata/md5-cache/sci-mathematics/pspp-1.6.2-r1 @@ -13,5 +13,5 @@ RDEPEND=dev-libs/libxml2:2 sci-libs/gsl:0= sys-devel/gettext sys-libs/ncurses:0= RESTRICT=!test? ( test ) SLOT=0/1.6.2 SRC_URI=mirror://gnu/pspp/pspp-1.6.2.tar.gz -_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=b70e25f5a9eb2149b52026ce46262ec1 diff --git a/metadata/md5-cache/sci-mathematics/rkward-0.7.5 b/metadata/md5-cache/sci-mathematics/rkward-0.7.5 index 69ca3c57c562..1a935661388c 100644 --- a/metadata/md5-cache/sci-mathematics/rkward-0.7.5 +++ b/metadata/md5-cache/sci-mathematics/rkward-0.7.5 @@ -12,5 +12,5 @@ LICENSE=GPL-2+ LGPL-2 RDEPEND=dev-lang/R dev-qt/qtdeclarative:5 dev-qt/qtgui:5 dev-qt/qtnetwork:5 dev-qt/qtprintsupport:5 dev-qt/qtwebengine:5[widgets] dev-qt/qtwidgets:5 dev-qt/qtxml:5 kde-frameworks/karchive:5 kde-frameworks/kcompletion:5 kde-frameworks/kconfig:5 kde-frameworks/kconfigwidgets:5 kde-frameworks/kcoreaddons:5 kde-frameworks/kcrash:5 kde-frameworks/ki18n:5 kde-frameworks/kio:5 kde-frameworks/kjobwidgets:5 kde-frameworks/knotifications:5 kde-frameworks/kparts:5 kde-frameworks/kservice:5 kde-frameworks/ktexteditor:5 kde-frameworks/kwidgetsaddons:5 kde-frameworks/kwindowsystem:5 kde-frameworks/kxmlgui:5 || ( kde-frameworks/breeze-icons:* kde-frameworks/oxygen-icons:* ) >=kde-frameworks/kf-env-4 dev-qt/qtcore:5 SLOT=5 SRC_URI=mirror://kde/stable/rkward/0.7.5/rkward-0.7.5.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 ecm de69a52df44fb7a4ccc49c275f0402c5 flag-o-matic 69394e25812406faa1f90edaf4969395 kde.org 5dd311d12cdba33b446368fad288784d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 optfeature 1a2157392a869265b2afcb63a26c12ac toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 virtualx 644887c82aefdf12001489391fca4f02 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 ecm de69a52df44fb7a4ccc49c275f0402c5 flag-o-matic 69394e25812406faa1f90edaf4969395 kde.org 5dd311d12cdba33b446368fad288784d multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b optfeature 1a2157392a869265b2afcb63a26c12ac toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 virtualx 644887c82aefdf12001489391fca4f02 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=b873b8005db47cafb5a62065c40f765a diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 index fe1aecde6197..68d8afcb2218 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.16.0 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.16.0 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 RDEPEND==sci-mathematics/petsc-3.16*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) SLOT=0 SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.16.0.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=d842584f9dc73050aa04c8a1d5d551c3 diff --git a/metadata/md5-cache/sci-mathematics/slepc-3.17.1 b/metadata/md5-cache/sci-mathematics/slepc-3.17.1 index 92378aadeff6..00aaf1408918 100644 --- a/metadata/md5-cache/sci-mathematics/slepc-3.17.1 +++ b/metadata/md5-cache/sci-mathematics/slepc-3.17.1 @@ -10,5 +10,5 @@ LICENSE=LGPL-3 RDEPEND==sci-mathematics/petsc-3.17*:=[mpi=,complex-scalars=] sci-libs/arpack[mpi=] mpi? ( virtual/mpi ) SLOT=0 SRC_URI=https://slepc.upv.es/download/distrib/slepc-3.17.1.tar.gz -_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 1a218637f27d4c027b92e511707264fd python-utils-r1 6a75203e8a499f0fb42971452ce15388 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=eapi8-dosym cd7d420bb5be5ee079f27239ce76b8f5 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 python-any-r1 d2955aaac8daaaa69fcc6dc93ed19f29 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=c6ca100519603a5ae4dc2227f2038848 diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r2 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r2 index 3808525818b7..b5d8a7e879ef 100644 --- a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r2 +++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r2 @@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_8 python_single_target_ RESTRICT=!test? ( test ) SLOT=0/2.3.3 SRC_URI=https://github.com/stp/stp/archive/2.3.3.tar.gz -> stp-2.3.3.tar.gz test? ( https://github.com/stp/OutputCheck/archive/119fe41a83bc455a24a11ecc9b78e7b13fcfcc45.tar.gz -> stp-2.3.3_OutputCheck.tar.gz https://github.com/stp/googletest/archive/2ad076167a676e3ed62f90b754b30fac5caa1f88.tar.gz -> stp-2.3.3_gtest.tar.gz ) -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=adb47e49bf7d18707585d3c99292974f diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 index 351397eab861..4114f8d8ef82 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.6.1-r2 @@ -12,5 +12,5 @@ RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) RESTRICT=!debug? ( test ) SLOT=0/4.6.1 SRC_URI=https://github.com/vprover/vampire/archive/v4.6.1.tar.gz -> vampire-4.6.1.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=daf6722623787ab6b73526de0ed5bc36 diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 index 97542613770e..2adf2c21d437 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 @@ -12,5 +12,5 @@ RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) RESTRICT=!debug? ( test ) SLOT=0/4.7 SRC_URI=https://github.com/vprover/vampire/archive/2d02e4655e1b08d1ca9ee7c0aade40f59f046460.tar.gz -> vampire-4.7.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=8c5a74f6c33e467f1666e6c025dd0abb diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 b/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 index ca06a8bfd271..0f648ddf2f14 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-20.12.2 @@ -10,5 +10,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima SLOT=0 SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-20.12.2.tar.gz -> wxmaxima-20.12.2.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=5081022d100b00d2d646664e8fe694d6 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 index a5a8abc32b68..e511f16b0851 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-22.05.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3 media-fonts/jsmath sci-visual RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-22.05.0.tar.gz -> wxmaxima-22.05.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=bdd046b629293ccff3c2ad50d194320f diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 index 4a420f15920f..2d769cf96909 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-22.09.0 @@ -12,5 +12,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.0-gtk3[webkit] media-fonts/jsmath sc RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-22.09.0.tar.gz -> wxmaxima-22.09.0.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 8f942ebdcf04334697649d4a0bf65a32 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b plocale 950fbaec7deeba41b5bcc0572cca99b9 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 wrapper 4a1902f969e5718126434fc35f3a0d9c wxwidgets c09e9b94378cadaf6ef86ec1534c0fd6 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=a90ac993939d8eea7b2aa5be917442ad diff --git a/metadata/md5-cache/sci-mathematics/yacas-1.9.1 b/metadata/md5-cache/sci-mathematics/yacas-1.9.1 index f52b5e37e715..d3b7cc3b5fa7 100644 --- a/metadata/md5-cache/sci-mathematics/yacas-1.9.1 +++ b/metadata/md5-cache/sci-mathematics/yacas-1.9.1 @@ -13,5 +13,5 @@ RDEPEND=gui? ( dev-libs/mathjax dev-qt/qtcore:5[icu] dev-qt/qtgui:5 dev-qt/qtmul RESTRICT=!test? ( test ) SLOT=0/1 SRC_URI=https://github.com/grzegorzmazur/yacas/archive/refs/tags/v1.9.1.tar.gz -> yacas-1.9.1.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg 6024fbc93167fad782e2032933654857 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=9daa047b9c82bf0c1df65585890575ba diff --git a/metadata/md5-cache/sci-mathematics/z3-4.11.2 b/metadata/md5-cache/sci-mathematics/z3-4.11.2 index 34eb6475c4ec..35a59b2ea2d8 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.11.2 +++ b/metadata/md5-cache/sci-mathematics/z3-4.11.2 @@ -12,5 +12,5 @@ RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.16:3.8 ) python_ REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 python_single_target_python3_11 ) SLOT=0/4.11 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.11.2.tar.gz -_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 cmake-multilib 57da9a64d1575fc2b54c50c26d033561 flag-o-matic 69394e25812406faa1f90edaf4969395 java-pkg-opt-2 a71433e535af8faae0c0f6c861a32054 java-utils-2 c79d65661a9f4f72b60376c9e4b3dfa1 multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multilib-build 87f1b83e21a473787b821ef3d0437bf3 multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 8ed38f92fe095be374d6c4c8d4c0dda7 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 6a75203e8a499f0fb42971452ce15388 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a +_eclasses_=cmake 646b7a2a63596361551a6c1fabf28057 cmake-multilib 57da9a64d1575fc2b54c50c26d033561 flag-o-matic 69394e25812406faa1f90edaf4969395 java-pkg-opt-2 a71433e535af8faae0c0f6c861a32054 java-utils-2 c79d65661a9f4f72b60376c9e4b3dfa1 multibuild d26d81f242cb193d899a72bca423d0bd multilib 5ca4e49abed8e3a2f7b56920eadee157 multilib-build 87f1b83e21a473787b821ef3d0437bf3 multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 1d1b325c00c1d24c564a1b49327ec3c5 toolchain-funcs 37a4612ce5522df5a100359a8dbc8491 xdg-utils ac0e315a3688929e34ac75b139e7349a _md5_=8074e6c41611f2d9ed7625ecfb8be1ce -- cgit v1.2.3