diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 29407 -> 29577 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.19.0 | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.19.1 | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/ginac-1.8.7-r3 | 15 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/proverif-2.04-r1 | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/proverif-2.05 | 2 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/proverif-9999 | 2 |
7 files changed, 20 insertions, 5 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 4d095de1e057..2e1d464ca243 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/coq-8.19.0 b/metadata/md5-cache/sci-mathematics/coq-8.19.0 index 6b3fbe62a4f7..14bb5fb07b3d 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.19.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.19.0 @@ -13,4 +13,4 @@ RESTRICT=test SLOT=0/8.19.0 SRC_URI=https://github.com/coq/coq/archive/V8.19.0.tar.gz -> coq-8.19.0.tar.gz _eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe -_md5_=9c4bead10ee6b153d585795040c29938 +_md5_=1bc10f6433b50def570223a22439d07f diff --git a/metadata/md5-cache/sci-mathematics/coq-8.19.1 b/metadata/md5-cache/sci-mathematics/coq-8.19.1 index 0b952384ec82..b922364bcb73 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.19.1 +++ b/metadata/md5-cache/sci-mathematics/coq-8.19.1 @@ -13,4 +13,4 @@ RESTRICT=test SLOT=0/8.19.1 SRC_URI=https://github.com/coq/coq/archive/V8.19.1.tar.gz -> coq-8.19.1.tar.gz _eclasses_=check-reqs 02ac7654b64f7acc7a8b1a35ad9d6ddc desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe -_md5_=99086e6ff19a76199c9aa6d0564ada66 +_md5_=349c35ff3cf9b0e98baf1f33bd448369 diff --git a/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r3 b/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r3 new file mode 100644 index 000000000000..426d18bb5bde --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/ginac-1.8.7-r3 @@ -0,0 +1,15 @@ +BDEPEND=|| ( dev-lang/python:3.12 dev-lang/python:3.11 dev-lang/python:3.10 ) virtual/pkgconfig doc? ( app-text/doxygen dev-texlive/texlive-fontsrecommended >=media-gfx/fig2dev-3.2.9-r3[ghostscript] dev-texlive/texlive-latexextra virtual/texi2dvi ) +DEFINED_PHASES=compile configure install setup +DEPEND=>=sci-libs/cln-1.2.2 +DESCRIPTION=C++ library and tools for symbolic calculations +EAPI=8 +HOMEPAGE=https://www.ginac.de/ +INHERIT=python-any-r1 +IUSE=doc examples +KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux +LICENSE=GPL-2+ +RDEPEND=>=sci-libs/cln-1.2.2 +SLOT=0 +SRC_URI=http://www.ginac.de/ginac-1.8.7.tar.bz2 +_eclasses_=multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe python-any-r1 f5169813d1619761b459800587005fd2 python-utils-r1 8b220bbce5c119fb1d4d5c2f5588f3ea toolchain-funcs e56c7649b804f051623c8bc1a1c44084 +_md5_=3694c6108061c98ef69c78ac1220d44e diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 index e3387fbf0937..e83cc65a9784 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 +++ b/metadata/md5-cache/sci-mathematics/proverif-2.04-r1 @@ -11,4 +11,4 @@ RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ SLOT=0 SRC_URI=https://gitlab.inria.fr/bblanche/proverif/-/archive/v2.04/proverif-v2.04.tar.bz2 _eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c -_md5_=167673677120928bfde7755df17218b3 +_md5_=9373d1a7fdd2f6e16db0eff62c97eec2 diff --git a/metadata/md5-cache/sci-mathematics/proverif-2.05 b/metadata/md5-cache/sci-mathematics/proverif-2.05 index 5150121cb0e1..983a081c57e0 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-2.05 +++ b/metadata/md5-cache/sci-mathematics/proverif-2.05 @@ -11,4 +11,4 @@ RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ SLOT=0 SRC_URI=https://bblanche.gitlabpages.inria.fr/proverif/proverif2.05.tar.gz _eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c -_md5_=1265be4fddd589562db5ab6e7b4214e1 +_md5_=aa45d3d98d5c6b0ff1aa90bec7923565 diff --git a/metadata/md5-cache/sci-mathematics/proverif-9999 b/metadata/md5-cache/sci-mathematics/proverif-9999 index 480d3897dced..1bbbb2e89bca 100644 --- a/metadata/md5-cache/sci-mathematics/proverif-9999 +++ b/metadata/md5-cache/sci-mathematics/proverif-9999 @@ -11,4 +11,4 @@ PROPERTIES=live RDEPEND=dev-lang/ocaml:=[ocamlopt] emacs? ( >=app-editors/emacs-25:* ) dev-lang/ocaml:=[ocamlopt?] SLOT=0 _eclasses_=edo 367e103a74bf77e6a8da7894d999fa3c elisp-common abb2dda42f680fce87602c8273f832c7 findlib cc1c14904708a0a28bcb256b342a808c git-r3 fbb2889c81f3a05910c1524db69425c1 -_md5_=167673677120928bfde7755df17218b3 +_md5_=9373d1a7fdd2f6e16db0eff62c97eec2 |