diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 28285 -> 28279 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1 | 17 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 | 15 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-8.18.0 (renamed from metadata/md5-cache/sci-mathematics/coq-8.17.0) | 8 |
4 files changed, 21 insertions, 19 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 9017692d3d8a..e5cc0ecb1a29 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/cadabra-2.4.4.1 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1 new file mode 100644 index 000000000000..e75839e8ff51 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.4.1 @@ -0,0 +1,17 @@ +BDEPEND=python_single_target_python3_10? ( dev-python/pybind11[python_targets_python3_10(-)] ) python_single_target_python3_11? ( dev-python/pybind11[python_targets_python3_11(-)] ) >=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5 +DEFINED_PHASES=compile configure install postinst postrm prepare setup test +DEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) app-text/dvipng dev-cpp/glibmm:2 dev-db/sqlite:3= dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/jsoncpp:= dev-libs/libsigc++:2 dev-texlive/texlive-basic python_single_target_python3_10? ( dev-python/gmpy:2[python_targets_python3_10(-)] dev-python/matplotlib[python_targets_python3_10(-)] dev-python/sympy[python_targets_python3_10(-)] jupyter? ( dev-python/jupyter[python_targets_python3_10(-)] ) ) python_single_target_python3_11? ( dev-python/gmpy:2[python_targets_python3_11(-)] dev-python/matplotlib[python_targets_python3_11(-)] dev-python/sympy[python_targets_python3_11(-)] jupyter? ( dev-python/jupyter[python_targets_python3_11(-)] ) ) gui? ( dev-cpp/gtkmm:3.0 ) +DESCRIPTION=Field-theory motivated approach to computer algebra +EAPI=8 +HOMEPAGE=https://cadabra.science/ https://github.com/kpeeters/cadabra2/ +INHERIT=xdg-utils python-single-r1 cmake +IUSE=gui +jupyter test python_single_target_python3_10 python_single_target_python3_11 +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-3 +RDEPEND=python_single_target_python3_10? ( dev-lang/python:3.10 ) python_single_target_python3_11? ( dev-lang/python:3.11 ) app-text/dvipng dev-cpp/glibmm:2 dev-db/sqlite:3= dev-libs/boost:= dev-libs/gmp:=[cxx] dev-libs/jsoncpp:= dev-libs/libsigc++:2 dev-texlive/texlive-basic python_single_target_python3_10? ( dev-python/gmpy:2[python_targets_python3_10(-)] dev-python/matplotlib[python_targets_python3_10(-)] dev-python/sympy[python_targets_python3_10(-)] jupyter? ( dev-python/jupyter[python_targets_python3_10(-)] ) ) python_single_target_python3_11? ( dev-python/gmpy:2[python_targets_python3_11(-)] dev-python/matplotlib[python_targets_python3_11(-)] dev-python/sympy[python_targets_python3_11(-)] jupyter? ( dev-python/jupyter[python_targets_python3_11(-)] ) ) gui? ( dev-cpp/gtkmm:3.0 ) +REQUIRED_USE=^^ ( python_single_target_python3_10 python_single_target_python3_11 ) +RESTRICT=!test? ( test ) +SLOT=0/2 +SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.4.1.tar.gz -> cadabra-2.4.4.1.tar.gz +_eclasses_=cmake ea305d3be967deed8faa5c9e94f9aee4 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_=b7260ae13de1fdf5f756f6d36c7ab6e3 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 b/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 deleted file mode 100644 index d46a737e23b2..000000000000 --- a/metadata/md5-cache/sci-mathematics/coq-8.12.0-r2 +++ /dev/null @@ -1,15 +0,0 @@ -DEFINED_PHASES=compile configure install test -DEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) dev-ml/findlib doc? ( media-libs/netpbm[png,postscript(+),zlib(+)] virtual/latex-base dev-tex/hevea dev-texlive/texlive-latexrecommended dev-texlive/texlive-pictures dev-texlive/texlive-mathscience dev-texlive/texlive-latexextra ) -DESCRIPTION=Proof assistant written in O'Caml -EAPI=7 -HOMEPAGE=http://coq.inria.fr/ -INHERIT=desktop multilib -IUSE=gtk debug +ocamlopt doc -KEYWORDS=amd64 ~x86 -LICENSE=LGPL-2.1 -RDEPEND=dev-ml/camlp5:=[ocamlopt?] || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gtk? ( dev-ml/lablgtk:3=[sourceview,ocamlopt?] dev-ml/lablgtk-sourceview:3=[ocamlopt?] ) -RESTRICT=test -SLOT=0/8.12.0 -SRC_URI=https://github.com/coq/coq/archive/V8.12.0.tar.gz -> coq-8.12.0.tar.gz -_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs 862d337d98edb576796827be2c6b11ca -_md5_=e06770f956eeaac8c783e903b9941939 diff --git a/metadata/md5-cache/sci-mathematics/coq-8.17.0 b/metadata/md5-cache/sci-mathematics/coq-8.18.0 index 6e7ce27d3fcb..98a02ba3826d 100644 --- a/metadata/md5-cache/sci-mathematics/coq-8.17.0 +++ b/metadata/md5-cache/sci-mathematics/coq-8.18.0 @@ -6,11 +6,11 @@ EAPI=8 HOMEPAGE=http://coq.inria.fr/ https://github.com/coq/coq/ INHERIT=desktop dune edo IUSE=debug doc gui +ocamlopt test -KEYWORDS=amd64 ~x86 +KEYWORDS=~amd64 ~x86 LICENSE=LGPL-2.1 RDEPEND=dev-ml/zarith:= || ( dev-ml/num <dev-lang/ocaml-4.09.0[ocamlopt?] ) gui? ( >=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:= RESTRICT=!test? ( test ) -SLOT=0/8.17.0 -SRC_URI=https://github.com/coq/coq/archive/V8.17.0.tar.gz -> coq-8.17.0.tar.gz +SLOT=0/8.18.0 +SRC_URI=https://github.com/coq/coq/archive/V8.18.0.tar.gz -> coq-8.18.0.tar.gz _eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d dune beddc7cde467b2e48afc78a87d042c01 edo c0eb9cbe6b0bd01fcb4918f12598a4d3 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=d504c96ddcde31e697bf46c78bade014 +_md5_=6a7ff97e8e02494b1b14d1b93b161bc4 |