diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 index dd916481a31d..71ce5abc905f 100644 --- a/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 +++ b/metadata/md5-cache/sci-mathematics/psmt2-frontend-0.4.0 @@ -5,11 +5,11 @@ DESCRIPTION=Library to parse and type-check an extension of the SMT-LIB 2 standa EAPI=8 HOMEPAGE=https://github.com/OCamlPro-Coquera/psmt2-frontend IUSE=+ocamlopt test -KEYWORDS=~amd64 ~x86 +KEYWORDS=amd64 ~x86 LICENSE=Apache-2.0 RDEPEND=>=dev-ml/menhir-20181006:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= RESTRICT=!test? ( test ) SLOT=0/0.4.0 SRC_URI=https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz -> psmt2-frontend-0.4.0.tar.gz -_eclasses_=dune 45f8b4ed9487a03522a647f3f33cb404 -_md5_=710c25e3cf2848a7eafb556f5d8902ee +_eclasses_=dune 2ef529836d2d3100bfd771a77fcffdf8 multiprocessing 61c959fc55c15c00bbb1079d6a71370b +_md5_=5c6cd9f4f1c220aed0bdf02f3deaacfc |