facile-1.1-22-omv2015.0.i586.rpm


Advertisement

Description

facile - Constraint programming library

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Main Release i586
Package name facile
Package version 1.1
Package release 22-omv2015.0
Package architecture i586
Package type rpm
Installed size 2.03 MB
Download size 540.10 KB
Official Mirror abf-downloads.openmandriva.org
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Alternatives

Package Version Architecture Repository
facile-1.1.3-4-omv4000.i686.rpm 1.1.3 i686 OpenMandriva Main Release
facile-1.1.3-4-omv4000.x86_64.rpm 1.1.3 x86_64 OpenMandriva Main Release
facile - - -

Requires

Name Value
ocaml -

Provides

Name Value
facile = 1.1-22

Download

Type URL
Binary Package facile-1.1-22-omv2015.0.i586.rpm
Source Package facile-1.1-22.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install facile rpm package:
    # urpmi facile

Files

Path
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/ocaml/facile/facile.cmxa
/usr/lib/ocaml/facile/facile.mli
/usr/lib/ocaml/facile/fcl_alldiff.mli
/usr/lib/ocaml/facile/fcl_arith.mli
/usr/lib/ocaml/facile/fcl_boolean.mli
/usr/lib/ocaml/facile/fcl_conjunto.mli
/usr/lib/ocaml/facile/fcl_cstr.mli
/usr/lib/ocaml/facile/fcl_data.mli
/usr/lib/ocaml/facile/fcl_debug.mli
/usr/lib/ocaml/facile/fcl_domain.mli
/usr/lib/ocaml/facile/fcl_expr.mli
/usr/lib/ocaml/facile/fcl_fdArray.mli
/usr/lib/ocaml/facile/fcl_float.mli
/usr/lib/ocaml/facile/fcl_gcc.mli
/usr/lib/ocaml/facile/fcl_genesis.mli
/usr/lib/ocaml/facile/fcl_goals.mli
/usr/lib/ocaml/facile/fcl_interval.mli
/usr/lib/ocaml/facile/fcl_invariant.mli
/usr/lib/ocaml/facile/fcl_linear.mli
/usr/lib/ocaml/facile/fcl_misc.mli
/usr/lib/ocaml/facile/fcl_nonlinear.mli
/usr/lib/ocaml/facile/fcl_opti.mli
/usr/lib/ocaml/facile/fcl_reify.mli
/usr/lib/ocaml/facile/fcl_setDomain.mli
/usr/lib/ocaml/facile/fcl_sorting.mli
/usr/lib/ocaml/facile/fcl_stak.mli
/usr/lib/ocaml/facile/fcl_var.mli

Changelog

2015-07-19 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-22
- (864781d) MassBuild#774: Increase release tag
2014-12-07 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-21
- (d043328) MassBuild#609: Increase release tag
2014-07-11 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-20
- (d377498) MassBuild#451: Increase release tag
2014-06-13 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-19
- (bb589b0) MassBuild#436: Increase release tag
2014-03-12 - Alexander Khryukin <alexander@mezon.ru> 1.1-18
- (026e219) fix rpmlintrc
- (Bernhard Rosenkraenzer: 51ddd09) MassBuild#289: Increase release tag
2013-12-07 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-17
- (0319e8f) MassBuild#289: Increase release tag
2013-12-07 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-16
- (f289258) MassBuild#289: Increase release tag
2013-12-07 - Bernhard Rosenkraenzer <bero@bero.eu> 1.1-15
- (746647a) MassBuild#289: Increase release tag
2013-03-10 - Crispin Boylan <crisb@mandriva.org> 1.1-14
- (ae480a6) Add ocmal 4 patch
2013-02-14 - mdawkins (Matthew Dawkins) <mattydaw@gmail.com> 1.1-13
- (020befa) empty debug pkg
- (mdawkins (Matthew Dawkins): 2976d57) cleaned up spec

See Also

Package Description
fakeroot-1.23-2-omv4000.i686.rpm Gives a fake root environment
faketime-0.9.6-4-omv2015.0.i586.rpm Report faked system time to programs
faketime-0.9.6-5-omv4000.i686.rpm Report faked system time to programs
falcon-0.9.6.6-13-omv2015.0.i586.rpm The Falcon Programming Language
falcon-0.9.6.8-3-omv4000.i686.rpm The Falcon Programming Language
falcon-gtk-0.9.6.8-3-omv4000.i686.rpm GTK bindings for Falcon
falkon-3.0.1-5-omv4000.i686.rpm Fast, lightweight web browser based on QtWebEngine
falkon-core-3.0.1-5-omv4000.i686.rpm falkon web browser core package
falkon-plugins-3.0.1-5-omv4000.i686.rpm Various plugins for falkon web browser
fasterxml-oss-parent-16-2.3-omv4000.noarch.rpm FasterXML parent pom
fastjar-0.98-17-omv2015.0.i586.rpm Archive tool for Java archives
fastjar-0.98-18-omv4000.i686.rpm Archive tool for Java archives
fb2png-0.1-25-omv2015.0.i586.rpm Take screenshots from the framebuffer
fb2png-0.1-26-omv4000.i686.rpm Take screenshots from the framebuffer
fbcat-0.3-10-omv2015.0.i586.rpm Framebuffer screenshot program
Advertisement
Advertisement