Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

facile-1.1-1mdv2008.0 RPM for i586

From Mandriva 2008.0 for i586 / media / main / release

Name: facile Distribution: Mandriva Linux
Version: 1.1 Vendor: Mandriva
Release: 1mdv2008.0 Build date: Thu Jul 5 20:33:06 2007
Group: System/Libraries Build host: n5.mandriva.com
Size: 1670353 Source RPM: facile-1.1-1mdv2008.0.src.rpm
Packager: Helio Chissini de Castro <helio@mandriva.com>
Url: http://www.recherche.enac.fr/log/facile/
Summary: FaCiLe is a constraint programming library
FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Provides

Requires

Copyright

GPL

Signatures

internal MD5: eeb05ecf8ddc68d30cd87df09d88cb3b
GPG

Changelog

* Fri Jul 06 2007 Helio Chissini de Castro <helio@mandriva.com> 1.1-1mdv2008.0
  + Revision: 48648
  - First release

Files

/usr/lib/ocaml/facile
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/ocaml/facile/facile.cmxa


Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 10 08:22:00 2008