diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 27205 -> 27361 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cadabra-2.4.2 | 17 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 (renamed from metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0) | 6 |
3 files changed, 20 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 06a151421834..3407d31a7d03 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.2 b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2 new file mode 100644 index 000000000000..f95bdc26cdcc --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/cadabra-2.4.2 @@ -0,0 +1,17 @@ +BDEPEND=python_single_target_python3_8? ( dev-python/pybind11[python_targets_python3_8(-)] ) python_single_target_python3_9? ( dev-python/pybind11[python_targets_python3_9(-)] ) python_single_target_python3_10? ( dev-python/pybind11[python_targets_python3_10(-)] ) >=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_8? ( >=dev-lang/python-3.8.13:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.12:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.4:3.10 ) 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_8? ( dev-python/gmpy:2[python_targets_python3_8(-)] dev-python/matplotlib[python_targets_python3_8(-)] dev-python/sympy[python_targets_python3_8(-)] jupyter? ( dev-python/jupyter[python_targets_python3_8(-)] ) ) python_single_target_python3_9? ( dev-python/gmpy:2[python_targets_python3_9(-)] dev-python/matplotlib[python_targets_python3_9(-)] dev-python/sympy[python_targets_python3_9(-)] jupyter? ( dev-python/jupyter[python_targets_python3_9(-)] ) ) 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(-)] ) ) gtk? ( dev-cpp/gtkmm:3.0 ) +DESCRIPTION=Field-theory motivated approach to computer algebra +EAPI=8 +HOMEPAGE=https://cadabra.science/ +INHERIT=xdg-utils python-single-r1 cmake +IUSE=gtk +jupyter test python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-3 +RDEPEND=python_single_target_python3_8? ( >=dev-lang/python-3.8.13:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.12:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.4:3.10 ) 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_8? ( dev-python/gmpy:2[python_targets_python3_8(-)] dev-python/matplotlib[python_targets_python3_8(-)] dev-python/sympy[python_targets_python3_8(-)] jupyter? ( dev-python/jupyter[python_targets_python3_8(-)] ) ) python_single_target_python3_9? ( dev-python/gmpy:2[python_targets_python3_9(-)] dev-python/matplotlib[python_targets_python3_9(-)] dev-python/sympy[python_targets_python3_9(-)] jupyter? ( dev-python/jupyter[python_targets_python3_9(-)] ) ) 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(-)] ) ) gtk? ( dev-cpp/gtkmm:3.0 ) +REQUIRED_USE=^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) +RESTRICT=!test? ( test ) +SLOT=0/2 +SRC_URI=https://github.com/kpeeters/cadabra2/archive/2.4.2.tar.gz -> cadabra-2.4.2.tar.gz +_eclasses_=cmake 44afbf15c35884f7c840470f1cf05d0d flag-o-matic 29a755b1291d64133634d80b0328f153 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 58ec4e54962bf45d065fb95030701514 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8 python-utils-r1 b9fc5e97e886514e5132f50465185401 toolchain-funcs 441f754fd75cd4fd1fa06fbc17da6144 xdg-utils ac0e315a3688929e34ac75b139e7349a +_md5_=3c16ffaf125c1eb77c7b71c78bc63e58 diff --git a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0 b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 index 46c251288079..31b4fedb52e8 100644 --- a/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0 +++ b/metadata/md5-cache/sci-mathematics/coq-serapi-0.16.0-r1 @@ -1,6 +1,6 @@ BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) test? ( sci-mathematics/coq-mathcomp ) dev-ml/dune dev-lang/ocaml DEFINED_PHASES=compile install postinst postrm test -DEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= >=dev-ml/seq-0.3:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= DESCRIPTION=Serialization library and protocol for interaction with the Coq proof assistant EAPI=8 HOMEPAGE=https://github.com/ejgallego/coq-serapi/ @@ -8,9 +8,9 @@ INHERIT=elisp-common dune IUSE=emacs +ocamlopt test KEYWORDS=~amd64 LICENSE=GPL-3+ -RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= >=dev-ml/seq-0.3:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +RDEPEND=>=sci-mathematics/coq-8.16.0:= <sci-mathematics/coq-8.17:= >=dev-ml/ppx_sexp_conv-0.13.0:= <dev-ml/ppx_sexp_conv-0.15.0:= dev-ml/cmdliner:= dev-ml/ppx_compare:= dev-ml/ppx_deriving:= dev-ml/ppx_deriving_yojson:= dev-ml/ppx_hash:= dev-ml/ppx_import:= dev-ml/sexplib:= dev-ml/yojson:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=!test? ( test ) SLOT=0/0.16.0 SRC_URI=https://github.com/ejgallego/coq-serapi/archive/8.16.0+0.16.0.tar.gz -> coq-serapi-0.16.0.tar.gz _eclasses_=dune c8f275f00adf2380fe0a57d8a249885c elisp-common 79f8e13c80c89792e5c9b3fc8ef59f3b multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=0546b953905b6413b5fc715159a2bc14 +_md5_=868e7b3972f5c5e8dd8e659c1f2593e3 |