summaryrefslogtreecommitdiff
path: root/dev-libs/stp
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-12-15 18:09:03 +0000
committerV3n3RiX <venerix@redcorelinux.org>2019-12-15 18:09:03 +0000
commit7bc9c63c9da678a7e6fceb095d56c634afd22c56 (patch)
tree4a67d50a439e9af63947e5f8b6ba3719af98b6c9 /dev-libs/stp
parentb284a3168fa91a038925d2ecf5e4791011ea5e7d (diff)
gentoo resync : 15.12.2019
Diffstat (limited to 'dev-libs/stp')
-rw-r--r--dev-libs/stp/Manifest2
-rw-r--r--dev-libs/stp/stp-2.3.3.ebuild1
2 files changed, 2 insertions, 1 deletions
diff --git a/dev-libs/stp/Manifest b/dev-libs/stp/Manifest
index 7b40427ab190..ee0c08ca8051 100644
--- a/dev-libs/stp/Manifest
+++ b/dev-libs/stp/Manifest
@@ -1,3 +1,3 @@
DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a
-EBUILD stp-2.3.3.ebuild 975 BLAKE2B 0cef0581142eaccdc0df77e7ece8dc0528e8390583b86e70dd263495a12f9234fd1806d721bca8168531d2902610b2ae5bd9f52ed02207266a9fc017becdb55e SHA512 a96b98f8afb1293fba8865b509cb0f04595ebc435e699d55075df3756843c0316629021347c73d954f579dc6ca487e620eb1964953a3d8820b292706c52df259
+EBUILD stp-2.3.3.ebuild 1002 BLAKE2B 1a79e33d06bcf6ff3300268970d2eceb0d30b186e3c424a60c6b440aea4f9b16b090d8138739adebc50bbf1369a8fd1be3ed5156b16a749c7d170a1e5a6f5275 SHA512 95e67894fff3a2bca4313f86c1de94f6088cd51c03e145ef58ee0e414a0e214f096f6a740504ea6dfc663bf22cba41126e897cf95a26ebc3180700932e612c1b
MISC metadata.xml 881 BLAKE2B bb604f1cf823b06a4d7bff96ec805bc2418dfcdeeaa17ca88f98c509b687b7467f7c6864d25294d8f1f1e4cbaf0e7d99b82edd27fcdc552353fe5510d1fbe375 SHA512 4b3e243ae419cb974f49b6d37e3e807f5ff0676cd989dc145fcd716c23bd2292177935658ea899afd9fc37a18dffc8c0949dee4a25b2e493db0f3713703ad2cb
diff --git a/dev-libs/stp/stp-2.3.3.ebuild b/dev-libs/stp/stp-2.3.3.ebuild
index df1fb807e5e4..a900384b2178 100644
--- a/dev-libs/stp/stp-2.3.3.ebuild
+++ b/dev-libs/stp/stp-2.3.3.ebuild
@@ -12,6 +12,7 @@ LICENSE="GPL-2+ MIT"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="python static test"
+RESTRICT="!test? ( test )"
DEPEND="
sci-mathematics/minisat