summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/dev-ml/facile-1.1.4
blob: 342365625b888b64a3409c0bb9a10d7579b56be4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=OCaml constraint programming library on integer & integer set finite domains
EAPI=8
HOMEPAGE=http://opti.recherche.enac.fr/
INHERIT=dune
IUSE=+ocamlopt
KEYWORDS=~alpha ~amd64 ~arm64 ~ppc ~ppc64 ~x86
LICENSE=LGPL-2.1
RDEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
SLOT=0/1.1.4
SRC_URI=https://github.com/Emmanuel-PLF/facile/releases/download/1.1.4/facile-1.1.4.tbz
_eclasses_=dune	77dc707d5b61b8d0b0fe46cefbdfec3a	edo	c0eb9cbe6b0bd01fcb4918f12598a4d3	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730
_md5_=4a07a31c5cc69c2e72b22a5acfbd503f