diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 29869 -> 29870 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/prover9-2009.11a-r1 (renamed from metadata/md5-cache/sci-mathematics/prover9-2009.11a) | 4 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/wxmaxima-24.02.1 (renamed from metadata/md5-cache/sci-mathematics/wxmaxima-24.02.0) | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 866da6fc5039..bc520cc9e995 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/prover9-2009.11a b/metadata/md5-cache/sci-mathematics/prover9-2009.11a-r1 index 79400d57723e..4ee26ad5e643 100644 --- a/metadata/md5-cache/sci-mathematics/prover9-2009.11a +++ b/metadata/md5-cache/sci-mathematics/prover9-2009.11a-r1 @@ -1,6 +1,6 @@ DEFINED_PHASES=compile install prepare test DESCRIPTION=Automated theorem prover for first-order and equational logic -EAPI=7 +EAPI=8 HOMEPAGE=https://www.cs.unm.edu/~mccune/mace4/ INHERIT=toolchain-funcs IUSE=examples @@ -9,4 +9,4 @@ LICENSE=GPL-2 SLOT=0 SRC_URI=https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz _eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 -_md5_=811bbc769e438813a3e35c82ded80d21 +_md5_=a62d86cb231e1e5e5e7474e888ccce20 diff --git a/metadata/md5-cache/sci-mathematics/wxmaxima-24.02.0 b/metadata/md5-cache/sci-mathematics/wxmaxima-24.02.1 index c1aa9830aabc..cf28fc4f8454 100644 --- a/metadata/md5-cache/sci-mathematics/wxmaxima-24.02.0 +++ b/metadata/md5-cache/sci-mathematics/wxmaxima-24.02.1 @@ -12,6 +12,6 @@ LICENSE=GPL-2 RDEPEND=dev-libs/libxml2:2 x11-libs/wxGTK:3.2-gtk3[webkit?] media-fonts/jsmath sci-visualization/gnuplot[wxwidgets] sci-mathematics/maxima RESTRICT=!test? ( test ) SLOT=0 -SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-24.02.0.tar.gz -> wxmaxima-24.02.0.tar.gz +SRC_URI=https://github.com/wxMaxima-developers/wxmaxima/archive/Version-24.02.1.tar.gz -> wxmaxima-24.02.1.tar.gz _eclasses_=cmake c7c9a62d6232cac66d4ea32d575c3e7c flag-o-matic 24c947ff5f858625cf0b33c15eed4425 multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 plocale 950fbaec7deeba41b5bcc0572cca99b9 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 wxwidgets 9a707a3f9f1ea7aa703b1e46552291e5 xdg 4a14c5c24f121e7da66e5aab4a168c6e xdg-utils baea6080dd821f5562d715887954c9d3 _md5_=52b7296e218e8f397e5f6a0fe26055bb |