mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 21:43:03 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-05-09 18:48:18 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-05-09 18:48:18 +00:00
parent a62cee7519
commit 67ee6ecced
89 changed files with 677 additions and 276 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
metadata/md5-cache/sci-mathematics/aspcud-1.9.6
View File

@@ -4,7 +4,7 @@ DEPEND=dev-libs/boost:= test? ( dev-cpp/catch:0 )
DESCRIPTION=A solver for package problems in CUDF format
EAPI=8
HOMEPAGE=https://github.com/potassco/aspcud https://potassco.org/aspcud/
INHERIT=cmake
INHERIT=cmake flag-o-matic
IUSE=test
KEYWORDS=~amd64
LICENSE=MIT
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/potassco/aspcud/archive/refs/tags/v1.9.6.tar.gz -> aspcud-1.9.6.tar.gz
_eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 891c4d3862cbc1ce8808ea427facbcd1 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0
_md5_=8e6a099ba8f2af557fd726e9763a191c
_md5_=ef12f935df283449380e033fb89bf8f9

4
metadata/md5-cache/sci-mathematics/clasp-3.3.8
View File

@@ -4,7 +4,7 @@ DEPEND=sci-libs/libpotassco:= test? ( dev-cpp/catch:0 )
DESCRIPTION=A conflict-driven nogood learning answer set solver
EAPI=8
HOMEPAGE=https://github.com/potassco/clasp http://www.cs.uni-potsdam.de/clasp/
INHERIT=cmake
INHERIT=cmake flag-o-matic
IUSE=examples test +threads +tools
KEYWORDS=~amd64
LICENSE=MIT
@@ -13,4 +13,4 @@ RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/potassco/clasp/archive/refs/tags/v3.3.8.tar.gz -> clasp-3.3.8.tar.gz
_eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 891c4d3862cbc1ce8808ea427facbcd1 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0
_md5_=769062195b77769bb903df51b12c9a5a
_md5_=76d44be0bfdcdfbcbededfc8b6791921

8
metadata/md5-cache/sci-mathematics/clingo-5.5.1-r1 → metadata/md5-cache/sci-mathematics/clingo-5.5.2
View File

@@ -1,10 +1,10 @@
BDEPEND=>=dev-util/re2c-0.13.5 >=sys-devel/bison-2.5 virtual/pkgconfig dev-util/ninja >=dev-util/cmake-3.20.5
DEFINED_PHASES=compile configure install prepare setup test
DEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) )
DEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua_single_target_lua5-3? ( dev-lang/lua:5.3 ) lua_single_target_lua5-4? ( dev-lang/lua:5.4 ) ) python? ( python_single_target_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_single_target_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_single_target_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) ) test? ( dev-cpp/catch:0 )
DESCRIPTION=Integrated grounder and solver for answer set logic programs
EAPI=8
HOMEPAGE=https://github.com/potassco/clingo https://potassco.org/clingo
INHERIT=cmake lua-single python-single-r1 toolchain-funcs
INHERIT=cmake flag-o-matic lua-single python-single-r1 toolchain-funcs
IUSE=examples lua python test +tools lua_single_target_lua5-3 lua_single_target_lua5-4 python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10
KEYWORDS=~amd64
LICENSE=MIT
@@ -12,6 +12,6 @@ RDEPEND=>=sci-mathematics/clasp-3.3.8:=[tools] sci-libs/libpotassco:= lua? ( lua
REQUIRED_USE=lua? ( ^^ ( lua_single_target_lua5-3 lua_single_target_lua5-4 ) ) python? ( ^^ ( python_single_target_python3_8 python_single_target_python3_9 python_single_target_python3_10 ) )
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/potassco/clingo/archive/refs/tags/v5.5.1.tar.gz -> clingo-5.5.1.tar.gz
SRC_URI=https://github.com/potassco/clingo/archive/refs/tags/v5.5.2.tar.gz -> clingo-5.5.2.tar.gz
_eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 891c4d3862cbc1ce8808ea427facbcd1 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0 lua-utils e69ff116248d78546ae1a234c086fe80 lua-single f2c2fb82c912dd65d53bdae3613a331f python-utils-r1 6d4bdf68f7dcd9a5491613be687ae665 python-single-r1 a5747fe6dc0651d95cb78eddd5e160a8
_md5_=5b7babace0696a4c322e1c13ba96c7eb
_md5_=b63f550b1031492e58aea79660cb1390

6
metadata/md5-cache/sci-mathematics/frama-c-wp-23.1
View File

@@ -1,6 +1,6 @@
BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.13.0 ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4
DEFINED_PHASES=compile configure install prepare
DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 >=dev-ml/findlib-1.0.4-r1
DEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.0 >=dev-ml/findlib-1.0.4-r1
DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
@@ -8,9 +8,9 @@ INHERIT=autotools findlib toolchain-funcs
IUSE=coq gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?]
RDEPEND=~sci-mathematics/frama-c-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-23.1:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.0 dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b libtool 241a8f577b9781a42a7421e53448a44e autotools b46e8992a8126c894fbdc8084fc040c4 findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=f500e42b779578963542dbf47831f374
_md5_=e9dcdfa6dc93e187cb4e528524a7cd2c

6
metadata/md5-cache/sci-mathematics/frama-c-wp-24.0
View File

@@ -1,6 +1,6 @@
BDEPEND=coq? ( >=sci-mathematics/coq-8.12.0 <sci-mathematics/coq-8.14.0 ) sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) >=sys-devel/autoconf-2.71 >=sys-devel/libtool-2.4
DEFINED_PHASES=compile configure install prepare
DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 >=dev-ml/findlib-1.0.4-r1
DEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.0 >=dev-ml/findlib-1.0.4-r1
DESCRIPTION=Deductive proof of ACSL contracts (WP) plugin for frama-c
EAPI=7
HOMEPAGE=https://frama-c.com
@@ -8,9 +8,9 @@ INHERIT=autotools findlib toolchain-funcs
IUSE=coq gtk +ocamlopt +ocamlopt
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 dev-lang/ocaml:=[ocamlopt?]
RDEPEND=~sci-mathematics/frama-c-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-qed-24.0:=[gtk?,ocamlopt?] ~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?] >=sci-mathematics/why3-1.4.0 <sci-mathematics/why3-1.5.0 dev-lang/ocaml:=[ocamlopt?]
RESTRICT=strip
SLOT=0
SRC_URI=https://frama-c.com/download/frama-c-24.0-Chromium.tar.gz
_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b libtool 241a8f577b9781a42a7421e53448a44e autotools b46e8992a8126c894fbdc8084fc040c4 findlib e6df6108c2d753998b1206f4d5ea4a2d
_md5_=98b57ab38554f990e58a5824f0aad0b7
_md5_=57e37a680468d72d55a2b550d10a4da9

2
metadata/md5-cache/sci-mathematics/minisatp-0.1_p20121002
View File

@@ -11,4 +11,4 @@ RDEPEND=dev-libs/gmp sci-mathematics/minisat sys-libs/zlib
SLOT=0
SRC_URI=https://github.com/niklasso/minisatp/archive/d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2.tar.gz -> minisatp-0.1_p20121002.tar.gz
_eclasses_=toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b flag-o-matic a500d7cc40da3de38c361e889153bdf7 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 891c4d3862cbc1ce8808ea427facbcd1 xdg-utils fffb53a53cf17c9c0c998a3c0a590c7e cmake 90e2b29417d53718328f3a95227137a0
_md5_=3809ad9bd9a83989dd9f7922ed076ef1
_md5_=105758928aca0c1581f42263af5e1b05