---
name: facile
version: 1.1_2
origin: math/facile
comment: A Functional Constraint Library
arch: freebsd:9:x86:64
www: http://www.recherche.enac.fr/log/facile/
maintainer: arved@FreeBSD.org
prefix: /usr/local
licenselogic: single
licenses:
- LGPL21
flatsize: 1978536
desc: "FaCiLe is a constraint programming library on integer and integer set\nfinite
  domains written in OCaml. It offers all usual facilities to create\nand manipulate
  finite domain variables, arithmetic expressions and\nconstraints, built-in global
  constraints and search and optimization goals.\n\nFaCiLe allows as well to build
  easily user-defined constraints and goals,\nmaking pervasive use of OCaml higher-order
  functionals to provide a simple\nand flexible interface for the user.\n\nWWW:\thttp://www.recherche.enac.fr/log/facile/\n"
deps:
  xproto: {origin: x11/xproto, version: 7.0.24}
  renderproto: {origin: x11/renderproto, version: 0.11.1}
  libxcb: {origin: x11/libxcb, version: 1.9.1}
  libXrender: {origin: x11/libXrender, version: 0.9.8}
  libXdmcp: {origin: x11/libXdmcp, version: 1.1.1}
  libXau: {origin: x11/libXau, version: 1.0.8}
  libX11: {origin: x11/libX11, version: '1.6.1,1'}
  kbproto: {origin: x11/kbproto, version: 1.0.6}
  tk: {origin: x11-toolkits/tk85, version: 8.5.14_1}
  libXft: {origin: x11-fonts/libXft, version: 2.3.1}
  fontconfig: {origin: x11-fonts/fontconfig, version: '2.10.93,1'}
  libxml2: {origin: textproc/libxml2, version: 2.8.0_2}
  expat: {origin: textproc/expat2, version: 2.1.0}
  freetype2: {origin: print/freetype2, version: 2.4.12_1}
  tcl: {origin: lang/tcl85, version: 8.5.14_1}
  ocaml: {origin: lang/ocaml, version: 3.12.1_1}
  pkgconf: {origin: devel/pkgconf, version: 0.9.2_1}
  libpthread-stubs: {origin: devel/libpthread-stubs, version: 0.3_3}
  libiconv: {origin: converters/libiconv, version: 1.14_1}
categories:
- math
files:
  /usr/local/lib/ocaml/facile/facile.a: 2616e61eed0c3b62633b09797f5905374b975be66de785dd2d326ea88c31179f
  /usr/local/lib/ocaml/facile/facile.cma: a168d87a2fed6dfc38905b2d6322a318f230d63c750fe1fa57bfb9cdaabf39f4
  /usr/local/lib/ocaml/facile/facile.cmi: a299a0d3ebaecf4091dd0557daf8d952f61abcf85daa463d9aaf757c2571c95b
  /usr/local/lib/ocaml/facile/facile.cmxa: 1a32f5d68bced31414a5cb02dc9649485e49e00e2d78dd324b1dab1fc5e739b5
  /usr/local/share/licenses/facile-1.1_2/LGPL21: b9ea3ec258670c7a54f174af0cf5b419e5e2331fea2621009e4ce5700880f6b6
  /usr/local/share/licenses/facile-1.1_2/LICENSE: 771915ce001e64e6273d8877b28a1155e8c64a0053ed0b98d93dcb4562911c92
  /usr/local/share/licenses/facile-1.1_2/catalog.mk: 805b7876963b84c5d4968444bbe09aff3cff27dfc6bf3b0830ec9f67c3ba9be3
directories:
  /usr/local/share/licenses/facile-1.1_2/: n
  /usr/local/share/licenses/: y
  /usr/local/lib/ocaml/facile/: n
scripts:
  post-install: |
    cd /usr/local
  pre-deinstall: |
    cd /usr/local
  post-deinstall: |
    cd /usr/local
