From 9368ace94caa5cdda868a0dbb7c75a3fc7a2b911 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 22 Aug 2023 21:47:11 +0100 Subject: gentoo auto-resync : 22:08:2023 - 21:47:11 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 28306 -> 27987 bytes metadata/md5-cache/sci-mathematics/arb-2.23.0 | 2 +- .../sci-mathematics/boolector-3.2.2_p20220110 | 2 +- .../sci-mathematics/btor2tools-1.0.0_pre20220518-r1 | 2 +- .../md5-cache/sci-mathematics/cadabra-2.4.3.2-r1 | 2 +- metadata/md5-cache/sci-mathematics/cgal-5.5 | 2 +- metadata/md5-cache/sci-mathematics/cgal-5.5.2 | 2 +- .../md5-cache/sci-mathematics/cryptominisat-5.11.11 | 2 +- .../md5-cache/sci-mathematics/cryptominisat-5.11.12 | 2 +- metadata/md5-cache/sci-mathematics/cvc4-1.8-r4 | 2 +- metadata/md5-cache/sci-mathematics/diagrtb-2.64 | 2 +- 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.9.0 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.49.0 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.50.3 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.51.0 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.51.1 | 2 +- metadata/md5-cache/sci-mathematics/lean-3.9999 | 2 +- metadata/md5-cache/sci-mathematics/libpoly-0.1.11 | 2 +- .../md5-cache/sci-mathematics/mathematica-13.0.1 | 2 +- .../md5-cache/sci-mathematics/mathematica-13.1.0 | 2 +- .../md5-cache/sci-mathematics/mathematica-13.2.1 | 2 +- metadata/md5-cache/sci-mathematics/minisat-2.2.1-r1 | 2 +- metadata/md5-cache/sci-mathematics/opensmt-2.5.1 | 17 ----------------- metadata/md5-cache/sci-mathematics/opensmt-2.5.2 | 2 +- metadata/md5-cache/sci-mathematics/plfit-0.9.3 | 2 +- metadata/md5-cache/sci-mathematics/primecount-7.6 | 2 +- metadata/md5-cache/sci-mathematics/primesieve-11.0 | 2 +- metadata/md5-cache/sci-mathematics/rkward-0.7.5 | 2 +- metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 | 2 +- metadata/md5-cache/sci-mathematics/vampire-4.7-r1 | 16 ---------------- metadata/md5-cache/sci-mathematics/vampire-4.8 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-23.04.1 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-23.05.1 | 2 +- metadata/md5-cache/sci-mathematics/wxmaxima-23.07.0 | 2 +- metadata/md5-cache/sci-mathematics/yacas-1.9.1-r1 | 2 +- metadata/md5-cache/sci-mathematics/z3-4.12.1 | 2 +- 38 files changed, 35 insertions(+), 68 deletions(-) delete mode 100644 metadata/md5-cache/sci-mathematics/opensmt-2.5.1 delete mode 100644 metadata/md5-cache/sci-mathematics/vampire-4.7-r1 (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 79624ac1033e..7cf14b7c030b 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/arb-2.23.0 b/metadata/md5-cache/sci-mathematics/arb-2.23.0 index f7e3c8fba454..222099d3df26 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=48ec127172350aacb1f6fdf9405c5a04 diff --git a/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 index 9d65dadd2223..3047a14d59da 100644 --- a/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 +++ b/metadata/md5-cache/sci-mathematics/boolector-3.2.2_p20220110 @@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/Boolector/boolector/archive/13a8a06d561041cafcaf5458e404c1ec354b2841.tar.gz -> boolector-3.2.2_p20220110.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=38c5e146c0c6da6e8fc45214ecbbf639 diff --git a/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518-r1 b/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518-r1 index 89e5680c5815..25a138f6f6b6 100644 --- a/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518-r1 +++ b/metadata/md5-cache/sci-mathematics/btor2tools-1.0.0_pre20220518-r1 @@ -9,5 +9,5 @@ KEYWORDS=~amd64 ~x86 LICENSE=MIT SLOT=0 SRC_URI=https://github.com/Boolector/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz -> btor2tools-1.0.0_pre20220518.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=c276ec66337a42e48e2194b4a977133c diff --git a/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2-r1 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2-r1 index d7ff6d1eed89..8c493bf147d1 100644 --- a/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2-r1 +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.3.2-r1 @@ -13,5 +13,5 @@ REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_1 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=e99a9b8a430fb0e4c8f49f2b5865778a diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.5 b/metadata/md5-cache/sci-mathematics/cgal-5.5 index bed48631a74a..5ca7332d7095 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=e75c4827a04386b28673857c67568a99 diff --git a/metadata/md5-cache/sci-mathematics/cgal-5.5.2 b/metadata/md5-cache/sci-mathematics/cgal-5.5.2 index 91eed0047679..4ba0030f6aa0 100644 --- a/metadata/md5-cache/sci-mathematics/cgal-5.5.2 +++ b/metadata/md5-cache/sci-mathematics/cgal-5.5.2 @@ -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.2/CGAL-5.5.2.tar.xz doc? ( https://github.com/CGAL/cgal/releases/download/v5.5.2/CGAL-5.5.2-doc_html.tar.xz ) -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=1daf473b93a5f55b3eccaa8bcad43502 diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 index 0092ebedeab9..4dd56c0e717c 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.11 @@ -11,5 +11,5 @@ RDEPEND=dev-libs/boost:= sys-libs/zlib:= RESTRICT=test SLOT=0/5.11.11 SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.11.tar.gz -> cryptominisat-5.11.11.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=b04719f6503ffc054556a0170f751adf diff --git a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 index 0bbb4bfeaf28..89cf919d6601 100644 --- a/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 +++ b/metadata/md5-cache/sci-mathematics/cryptominisat-5.11.12 @@ -11,5 +11,5 @@ RDEPEND=dev-libs/boost:= sys-libs/zlib:= RESTRICT=test SLOT=0/5.11.12 SRC_URI=https://github.com/msoos/cryptominisat/archive/5.11.12.tar.gz -> cryptominisat-5.11.12.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=b04719f6503ffc054556a0170f751adf diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r4 b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r4 index cbaa5cc0b62d..fc6ca93c6ca2 100644 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.8-r4 +++ b/metadata/md5-cache/sci-mathematics/cvc4-1.8-r4 @@ -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 aa1d1fa7be37663d48162ac963b22692 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 eapi8-dosym 5ac4857ad078256d939c44f7c64197a9 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=779b5140e62b9e1f70d19407f1230c89 diff --git a/metadata/md5-cache/sci-mathematics/diagrtb-2.64 b/metadata/md5-cache/sci-mathematics/diagrtb-2.64 index edad621a5dec..9a3d62c3a7a3 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 fortran-2 40c4450f1c4ecb2ee694d96e1958d4ea multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=9d6abef4976841d445b75446ef4cc6d3 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 aed19ae522f2..28da0c0ad523 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=ea96bdf2c2e09f211063ecbad1fe07d0 diff --git a/metadata/md5-cache/sci-mathematics/fann-9999 b/metadata/md5-cache/sci-mathematics/fann-9999 index 4514fe3895f5..77fcab90b913 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 git-r3 2358a7b20091609e24bd3a83b3ac5991 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 git-r3 2358a7b20091609e24bd3a83b3ac5991 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=5f307ad7613ca946ca89005f1d38fc29 diff --git a/metadata/md5-cache/sci-mathematics/flint-2.9.0 b/metadata/md5-cache/sci-mathematics/flint-2.9.0 index 1ee38e1cc84b..95cad69dcd49 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=6bb15769c7401e26385c9ed45831da6d diff --git a/metadata/md5-cache/sci-mathematics/lean-3.49.0 b/metadata/md5-cache/sci-mathematics/lean-3.49.0 index 0186212bd865..c5d1a60b4ac5 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=175b5aed49c7ce0fa483af51cb447962 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.50.3 b/metadata/md5-cache/sci-mathematics/lean-3.50.3 index bfff9cce8b04..e88931827947 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=4006b2471816f8f888daeab3d21cfdca diff --git a/metadata/md5-cache/sci-mathematics/lean-3.51.0 b/metadata/md5-cache/sci-mathematics/lean-3.51.0 index a6a5ce2eef18..7176a06e6c0b 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.51.0 +++ b/metadata/md5-cache/sci-mathematics/lean-3.51.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.51.0.tar.gz -> lean-3.51.0.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=174ea6327605b316c0ac7e5d08433616 diff --git a/metadata/md5-cache/sci-mathematics/lean-3.51.1 b/metadata/md5-cache/sci-mathematics/lean-3.51.1 index 2fd4a992c774..892125f789d7 100644 --- a/metadata/md5-cache/sci-mathematics/lean-3.51.1 +++ b/metadata/md5-cache/sci-mathematics/lean-3.51.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.51.1.tar.gz -> lean-3.51.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=4006b2471816f8f888daeab3d21cfdca diff --git a/metadata/md5-cache/sci-mathematics/lean-3.9999 b/metadata/md5-cache/sci-mathematics/lean-3.9999 index 6613753230a6..f68278d70dc2 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 git-r3 2358a7b20091609e24bd3a83b3ac5991 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 git-r3 2358a7b20091609e24bd3a83b3ac5991 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c readme.gentoo-r1 204091a2cde6179cd9d3db26d09412d3 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=174ea6327605b316c0ac7e5d08433616 diff --git a/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 b/metadata/md5-cache/sci-mathematics/libpoly-0.1.11 index 8dea83a47cd5..3bb9ee64956a 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_10? ( dev-lang/pyt REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 python_single_target_python3_11 ) ) 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=bad7171fb79eba78457844ea3710d6cc diff --git a/metadata/md5-cache/sci-mathematics/mathematica-13.0.1 b/metadata/md5-cache/sci-mathematics/mathematica-13.0.1 index a40d629b7311..42238c75a30a 100644 --- a/metadata/md5-cache/sci-mathematics/mathematica-13.0.1 +++ b/metadata/md5-cache/sci-mathematics/mathematica-13.0.1 @@ -13,5 +13,5 @@ RDEPEND=cuda? ( dev-util/nvidia-cuda-toolkit ) media-libs/freetype R? ( dev-lang RESTRICT=strip mirror bindist fetch SLOT=0 SRC_URI=Mathematica_13.0.1_BNDL_LINUX.sh -_eclasses_=check-reqs a5f1e025c53d62f98bc24bd63d7d95e1 desktop 021728fdc1b03b36357dbc89489e0f0d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs 862d337d98edb576796827be2c6b11ca unpacker aa6a4e924009232d8b78b31e932c30b5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs 862d337d98edb576796827be2c6b11ca unpacker aa6a4e924009232d8b78b31e932c30b5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=d3798714aaaa258b5f5ebeae0193d41d diff --git a/metadata/md5-cache/sci-mathematics/mathematica-13.1.0 b/metadata/md5-cache/sci-mathematics/mathematica-13.1.0 index a905b9bda8e5..8c918c84820b 100644 --- a/metadata/md5-cache/sci-mathematics/mathematica-13.1.0 +++ b/metadata/md5-cache/sci-mathematics/mathematica-13.1.0 @@ -13,5 +13,5 @@ RDEPEND=cuda? ( dev-util/nvidia-cuda-toolkit ) media-libs/freetype ffmpeg? ( med RESTRICT=strip mirror bindist fetch SLOT=0 SRC_URI=doc? ( WLDocs_13.1.0_LINUX.sh ) Mathematica_13.1.0_LINUX.sh -_eclasses_=check-reqs a5f1e025c53d62f98bc24bd63d7d95e1 desktop 021728fdc1b03b36357dbc89489e0f0d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs 862d337d98edb576796827be2c6b11ca unpacker aa6a4e924009232d8b78b31e932c30b5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs 862d337d98edb576796827be2c6b11ca unpacker aa6a4e924009232d8b78b31e932c30b5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=2773c26cafcb99466d0373d63cc68210 diff --git a/metadata/md5-cache/sci-mathematics/mathematica-13.2.1 b/metadata/md5-cache/sci-mathematics/mathematica-13.2.1 index 40a97357f28d..11c672d5ebb2 100644 --- a/metadata/md5-cache/sci-mathematics/mathematica-13.2.1 +++ b/metadata/md5-cache/sci-mathematics/mathematica-13.2.1 @@ -13,5 +13,5 @@ RDEPEND=cuda? ( dev-util/nvidia-cuda-toolkit ) media-libs/freetype ffmpeg? ( minisat-2.2.1.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf ) -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=5ea1be27bc65784e2692a2a88abe2b96 diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.5.1 b/metadata/md5-cache/sci-mathematics/opensmt-2.5.1 deleted file mode 100644 index 2504d630e9af..000000000000 --- a/metadata/md5-cache/sci-mathematics/opensmt-2.5.1 +++ /dev/null @@ -1,17 +0,0 @@ -BDEPEND=sys-devel/bison sys-devel/flex test? ( dev-cpp/gtest ) >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install prepare test -DEPEND=dev-libs/gmp:=[cxx] readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= ) -DESCRIPTION=Compact and open-source SMT-solver written in C++ -EAPI=8 -HOMEPAGE=http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/ -INHERIT=cmake -IUSE=debug libedit +readline test -KEYWORDS=~amd64 ~x86 -LICENSE=MIT -RDEPEND=dev-libs/gmp:=[cxx] readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= ) -REQUIRED_USE=?? ( libedit readline ) -RESTRICT=!test? ( test ) -SLOT=0/2.5.1 -SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.5.1.tar.gz -> opensmt-2.5.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=a80e8547706c2e72d138418730ea2a33 diff --git a/metadata/md5-cache/sci-mathematics/opensmt-2.5.2 b/metadata/md5-cache/sci-mathematics/opensmt-2.5.2 index 6e301de401cf..a58cf440c3ef 100644 --- a/metadata/md5-cache/sci-mathematics/opensmt-2.5.2 +++ b/metadata/md5-cache/sci-mathematics/opensmt-2.5.2 @@ -13,5 +13,5 @@ REQUIRED_USE=?? ( libedit readline ) RESTRICT=!test? ( test ) SLOT=0/2.5.2 SRC_URI=https://github.com/usi-verification-and-security/opensmt/archive/v2.5.2.tar.gz -> opensmt-2.5.2.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=a80e8547706c2e72d138418730ea2a33 diff --git a/metadata/md5-cache/sci-mathematics/plfit-0.9.3 b/metadata/md5-cache/sci-mathematics/plfit-0.9.3 index 1ded7dffc578..e11a830f9623 100644 --- a/metadata/md5-cache/sci-mathematics/plfit-0.9.3 +++ b/metadata/md5-cache/sci-mathematics/plfit-0.9.3 @@ -9,5 +9,5 @@ KEYWORDS=~amd64 ~x86 LICENSE=BSD GPL-2+ MIT SLOT=0 SRC_URI=https://github.com/ntamas/plfit/archive/refs/tags/0.9.3.tar.gz -> plfit-0.9.3.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=3dffc1b1e328d19e3bc7d48c2fb9fc16 diff --git a/metadata/md5-cache/sci-mathematics/primecount-7.6 b/metadata/md5-cache/sci-mathematics/primecount-7.6 index 25770d9b7be7..a8e2345eb19c 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=c33f6e586da6e5287289f7027f600353 diff --git a/metadata/md5-cache/sci-mathematics/primesieve-11.0 b/metadata/md5-cache/sci-mathematics/primesieve-11.0 index ff11c2d16290..26186f68d956 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=7b5e636188f50e0facb10131cdb6ccca diff --git a/metadata/md5-cache/sci-mathematics/rkward-0.7.5 b/metadata/md5-cache/sci-mathematics/rkward-0.7.5 index c97e39c914a7..5c6722ea8446 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 aa1d1fa7be37663d48162ac963b22692 ecm 582ef00537aa518e5a8ca3aa66bd9dc0 flag-o-matic be27a904c614cb93ae037762dc69bcc2 kde.org 411cb92019a6e2aa174d06896084bf57 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54 toolchain-funcs 862d337d98edb576796827be2c6b11ca virtualx 817571665ee28575da44ee08135089e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 ecm 582ef00537aa518e5a8ca3aa66bd9dc0 flag-o-matic be27a904c614cb93ae037762dc69bcc2 kde.org 411cb92019a6e2aa174d06896084bf57 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c optfeature 222cb475c5a4f7ae7cfb0bf510a6fe54 toolchain-funcs 862d337d98edb576796827be2c6b11ca virtualx 817571665ee28575da44ee08135089e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=082c023a99e92083a89451525ccadbe1 diff --git a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 index e09f73faad4d..02af75fc9841 100644 --- a/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 +++ b/metadata/md5-cache/sci-mathematics/stp-2.3.3-r3 @@ -13,5 +13,5 @@ REQUIRED_USE=python? ( ^^ ( python_single_target_python3_10 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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=9c4295d738ae3595f718058f0880b4df diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 b/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 deleted file mode 100644 index 96cd739ba7c0..000000000000 --- a/metadata/md5-cache/sci-mathematics/vampire-4.7-r1 +++ /dev/null @@ -1,16 +0,0 @@ -BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 -DEFINED_PHASES=compile configure install prepare test -DEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) -DESCRIPTION=The Vampire Prover, theorem prover for first-order logic -EAPI=8 -HOMEPAGE=https://vprover.github.io -INHERIT=flag-o-matic cmake -IUSE=debug +z3 -KEYWORDS=~amd64 ~x86 -LICENSE=BSD -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 aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 -_md5_=ace6dac4dbc37c4fdd69226724f36980 diff --git a/metadata/md5-cache/sci-mathematics/vampire-4.8 b/metadata/md5-cache/sci-mathematics/vampire-4.8 index 4ec71527450f..5e8f6f99edc3 100644 --- a/metadata/md5-cache/sci-mathematics/vampire-4.8 +++ b/metadata/md5-cache/sci-mathematics/vampire-4.8 @@ -12,5 +12,5 @@ RDEPEND=z3? ( dev-libs/gmp:= >=sci-mathematics/z3-4.11.2:= ) RESTRICT=!debug? ( test ) SLOT=0/4.8 SRC_URI=https://github.com/vprover/vampire/archive/v4.8casc2023.tar.gz -> vampire-4.8-casc2023.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=722122d5d42ae4d3fdae420133b7c28b diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-23.04.1 b/metadata/md5-cache/sci-mathematics/wxmaxima-23.04.1 index af56f01852b9..bb4ead5dc37c 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-23.04.1 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-23.04.1 @@ -13,5 +13,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-23.04.1.tar.gz -> wxmaxima-23.04.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=ac100a8ab8b088980969d30b69560aa1 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-23.05.1 b/metadata/md5-cache/sci-mathematics/wxmaxima-23.05.1 index 8519aea0e91e..5e4c4cbcb2cd 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-23.05.1 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-23.05.1 @@ -13,5 +13,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.2-gtk3[webkit] media-fonts/jsmath sc RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-23.05.1.tar.gz -> wxmaxima-23.05.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=8e8a6fa6023cee980ce2b4c3f0b27c53 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-23.07.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-23.07.0 index c0816a96c7d8..97ce0c60ce14 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-23.07.0 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-23.07.0 @@ -13,5 +13,5 @@ RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.2-gtk3[webkit?] media-fonts/jsmath s RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-23.07.0.tar.gz -> wxmaxima-23.07.0.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs 862d337d98edb576796827be2c6b11ca wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=c12fe5470fab30506637442f2a9906e3 diff --git a/metadata/md5-cache/sci-mathematics/yacas-1.9.1-r1 b/metadata/md5-cache/sci-mathematics/yacas-1.9.1-r1 index 31818d87c1b3..e672ca599e23 100644 --- a/metadata/md5-cache/sci-mathematics/yacas-1.9.1-r1 +++ b/metadata/md5-cache/sci-mathematics/yacas-1.9.1-r1 @@ -13,5 +13,5 @@ RDEPEND=gui? ( yacas-1.9.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 flag-o-matic be27a904c614cb93ae037762dc69bcc2 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=91542c779bec96e464972d83c716f8a0 diff --git a/metadata/md5-cache/sci-mathematics/z3-4.12.1 b/metadata/md5-cache/sci-mathematics/z3-4.12.1 index 9fa0b333759d..546b80a2f145 100644 --- a/metadata/md5-cache/sci-mathematics/z3-4.12.1 +++ b/metadata/md5-cache/sci-mathematics/z3-4.12.1 @@ -12,5 +12,5 @@ RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_ REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 ) SLOT=0/4.12 SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.12.1.tar.gz -_eclasses_=cmake aa1d1fa7be37663d48162ac963b22692 cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic be27a904c614cb93ae037762dc69bcc2 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 +_eclasses_=cmake e35346185785f0ff5332c7f6b38df666 cmake-multilib 37d23064f303dcf23453353ab8c77059 flag-o-matic be27a904c614cb93ae037762dc69bcc2 java-pkg-opt-2 4d26f2efd4c5ec82b66d1e8816f421b2 java-utils-2 8c72ea36a4935f626b13a30141d0d39c multibuild 30dbf3c5a31db09a19f31ad0a68f2405 multilib c19072c3cd7ac5cb21de013f7e9832e0 multilib-build e8aed98bd43dbd25694310a660ad562c multilib-minimal 4b0f1857965db8869a729948d5277e0b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils f3010c780f65d1bb5aea15a9af1adc9c out-of-source-utils 1a9007554652a6e627edbccb3c25a439 python-single-r1 75118e916668a74c660a13b0ecb22562 python-utils-r1 59e60e9c5cbd3f214d7f1002e798b387 toolchain-funcs 862d337d98edb576796827be2c6b11ca xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=0485c6d91f3ccec13f25dde19032be98 -- cgit v1.2.3