diff options
Diffstat (limited to 'metadata/md5-cache/dev-libs/stp-2.3.3')
| -rw-r--r-- | metadata/md5-cache/dev-libs/stp-2.3.3 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/dev-libs/stp-2.3.3 b/metadata/md5-cache/dev-libs/stp-2.3.3 index 97f8addbe9de..bb217c0d1d97 100644 --- a/metadata/md5-cache/dev-libs/stp-2.3.3 +++ b/metadata/md5-cache/dev-libs/stp-2.3.3 @@ -1,15 +1,15 @@ BDEPEND=dev-util/ninja dev-util/cmake DEFINED_PHASES=compile configure install prepare test -DEPEND=sci-mathematics/minisat +DEPEND=dev-libs/boost:= sci-mathematics/minisat DESCRIPTION=Simple Theorem Prover, an efficient SMT solver for bitvectors EAPI=7 HOMEPAGE=https://stp.github.io/ -IUSE=python static test +IUSE=python test KEYWORDS=~amd64 ~x86 LICENSE=GPL-2+ MIT -RDEPEND=sci-mathematics/minisat +RDEPEND=dev-libs/boost:= sci-mathematics/minisat RESTRICT=!test? ( test ) SLOT=0 SRC_URI=https://github.com/stp/stp/archive/2.3.3.tar.gz -> stp-2.3.3.tar.gz _eclasses_=cmake 9f6da23aab151395c55f018fb13a11b2 edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic 09a8beb8e6a8e02dc1e1bd83ac353741 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib 98584e405e2b0264d37e8f728327fed1 multiprocessing cac3169468f893670dac3e7cb940e045 ninja-utils 132cbb376048d079b5a012f5467c4e7f toolchain-funcs 605c126bed8d87e4378d5ff1645330cb wrapper 4251d4c84c25f59094fd557e0063a974 xdg-utils ff2ff954e6b17929574eee4efc5152ba -_md5_=b630b53504830792ffe30d4918ab86d1 +_md5_=ad6b1e168714f4a3069c4e650c9d29d3 |