Gentoo Packages /package/dev-ml/facile http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/package/dev-ml/facile Gentoo Packages2 2013-05-19T00:14:30Z <div> <span class="cpvstr">dev-ml/facile</span>: <span class="description">A constraint programming library on integer and integer set finite domains written in OCaml.</span> </div> http://packages.gentoo.org/package/dev-ml/facile?ts=2012-10-10T13:31:10Z Alexis Ballier (aballier) http://cia.vc/stats/author/aballier 2012-10-10T13:31:10Z
10 Oct 2012; Alexis Ballier (aballier) facile-1.1.ebuild,
+files/facile-1.1-ocaml4.patch:
fix build with ocaml4