diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 26650 -> 26331 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1 | 14 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/fricas-1.3.1 | 14 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/fricas-1.3.3 | 2 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/why3-for-spark-2017 | 3 |
5 files changed, 3 insertions, 30 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 9259d9143b5b..89756f6d77ed 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/fricas-1.3.0-r1 b/metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1 deleted file mode 100644 index 0f64a7f1fc83..000000000000 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.0-r1 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install postinst postrm test -DEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( >=dev-lisp/sbcl-1.3.6:= <dev-lisp/sbcl-1.3.13:= ) ) ) ) ) -DESCRIPTION=FriCAS is a fork of Axiom computer algebra system -EAPI=5 -HOMEPAGE=http://fricas.sourceforge.net/ -IUSE=sbcl cmucl gcl ecls clisp clozurecl X emacs gmp -KEYWORDS=~amd64 ~x86 -LICENSE=BSD-2 -RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( >=dev-lisp/sbcl-1.3.6:= <dev-lisp/sbcl-1.3.13:= ) ) ) ) ) -RESTRICT=strip -SLOT=0 -SRC_URI=mirror://sourceforge/fricas/fricas-1.3.0-full.tar.bz2 -_eclasses_=elisp-common 23f47b2e1de7abf387105eddd1318738 multilib 97f470f374f2e94ccab04a2fb21d811e toolchain-funcs 885c7d8dd70a58825f3d17e35a3cd1e9 -_md5_=6fd3b8126bea744f9c3ac0a50502702d diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.1 b/metadata/md5-cache/sci-mathematics/fricas-1.3.1 deleted file mode 100644 index 7f68df9311cb..000000000000 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.1 +++ /dev/null @@ -1,14 +0,0 @@ -DEFINED_PHASES=compile configure install postinst postrm test -DEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( dev-lisp/sbcl:= ) ) ) ) ) -DESCRIPTION=FriCAS is a fork of Axiom computer algebra system -EAPI=5 -HOMEPAGE=http://fricas.sourceforge.net/ -IUSE=sbcl cmucl gcl ecls clisp clozurecl X emacs gmp -KEYWORDS=~amd64 ~x86 -LICENSE=BSD-2 -RDEPEND=X? ( x11-libs/libXpm x11-libs/libICE ) emacs? ( virtual/emacs ) gmp? ( dev-libs/gmp:= ) clozurecl? ( dev-lisp/clozurecl:= ) !clozurecl? ( clisp? ( dev-lisp/clisp:= ) !clisp? ( ecls? ( dev-lisp/ecls:= ) !ecls? ( gcl? ( dev-lisp/gcl:= ) !gcl? ( cmucl? ( dev-lisp/cmucl:= ) !cmucl? ( dev-lisp/sbcl:= ) ) ) ) ) -RESTRICT=strip -SLOT=0 -SRC_URI=mirror://sourceforge/fricas/fricas-1.3.1-full.tar.bz2 -_eclasses_=elisp-common 23f47b2e1de7abf387105eddd1318738 multilib 97f470f374f2e94ccab04a2fb21d811e toolchain-funcs 885c7d8dd70a58825f3d17e35a3cd1e9 -_md5_=a5993627eec82e80689a726819d7e548 diff --git a/metadata/md5-cache/sci-mathematics/fricas-1.3.3 b/metadata/md5-cache/sci-mathematics/fricas-1.3.3 index e89b0bd746aa..a0fd15bede03 100644 --- a/metadata/md5-cache/sci-mathematics/fricas-1.3.3 +++ b/metadata/md5-cache/sci-mathematics/fricas-1.3.3 @@ -11,4 +11,4 @@ RESTRICT=strip SLOT=0 SRC_URI=mirror://sourceforge/fricas/fricas-1.3.3-full.tar.bz2 _eclasses_=elisp-common 23f47b2e1de7abf387105eddd1318738 multilib 97f470f374f2e94ccab04a2fb21d811e toolchain-funcs 885c7d8dd70a58825f3d17e35a3cd1e9 -_md5_=bc4e9c1669008398df0574292b4ef612 +_md5_=31fe5af51b087f6d16b3da60ddd8bd9d diff --git a/metadata/md5-cache/sci-mathematics/why3-for-spark-2017 b/metadata/md5-cache/sci-mathematics/why3-for-spark-2017 index 861da227bbe7..0f017ead6e52 100644 --- a/metadata/md5-cache/sci-mathematics/why3-for-spark-2017 +++ b/metadata/md5-cache/sci-mathematics/why3-for-spark-2017 @@ -8,7 +8,8 @@ KEYWORDS=~amd64 LICENSE=GPL-3 RDEPEND=>=dev-lang/ocaml-4.02.3[ocamlopt?] dev-ml/menhir coq? ( sci-mathematics/coq ) doc? ( dev-tex/rubber ) gtk? ( dev-ml/lablgtk[sourceview] ) emacs? ( app-editors/emacs:* ) html? ( dev-tex/hevea ) hypothesis-selection? ( dev-ml/ocamlgraph ) zarith? ( dev-ml/zarith ) zip? ( >=dev-ml/camlzip-1.07 ) REQUIRED_USE=html? ( doc ) +RESTRICT=strip SLOT=0 SRC_URI=http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055 -> why3-for-spark-gpl-2017-src.tar.gz _eclasses_=autotools 4842e626555a9a4344f34cef2e190b67 libtool 0081a71a261724730ec4c248494f044d multilib 97f470f374f2e94ccab04a2fb21d811e toolchain-funcs 885c7d8dd70a58825f3d17e35a3cd1e9 -_md5_=d604f783eb4f384bd083da8a0072addb +_md5_=c6edcb2b36d5403551c7413d1403f075 |