facile-1.1-3pclos2011.x86_64.rpm


Advertisement

Description

facile - Constraint programming library

Property Value
Distribution PCLinuxOS
Repository PCLinuxOS x86_64
Package name facile
Package version 1.1
Package release 3pclos2011
Package architecture x86_64
Package type rpm
Installed size 1.97 MB
Download size 1.97 MB
Official Mirror ftp.nluug.nl
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Alternatives

Package Version Architecture Repository
facile - - -

Requires

Name Value
ocaml -
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1

Provides

Name Value
facile = 1.1-3pclos2011
facile(x86-64) = 1.1-3pclos2011

Download

Type URL
Binary Package facile-1.1-3pclos2011.x86_64.rpm
Source Package facile-1.1-3pclos2011.src.rpm

Install Howto

  1. Enable PCLinuxOS x86_64 repository in /etc/apt/sources.list:
    
    rpm http://ftp.nluug.nl/pub/os/Linux/distr/pclinuxos/pclinuxos/apt/ pclinuxos/64bit x86_64
    
  2. Update the package index:
    # apt-get update
  3. Install facile rpm package:
    # apt-get install facile

See Also

Package Description
factory-3.0.4-1pclos2011.x86_64.rpm C++ class library for multivariate polynomial data
faenza-icon-theme-1.3.1-1pclos2013.noarch.rpm Faenza icon theme
fail2ban-0.9.4-1pclos2016.noarch.rpm Ban IPs that make too many password failures
fairymax-4.8-1pclos2011.x86_64.rpm A XBoard compatible chess and chess-variant engine
fakechroot-2.18-1pclos2016.x86_64.rpm Gives a fake chroot environment
fakeroot-1.20.2-1pclos2015.x86_64.rpm Gives a fake root environment
falcon-0.9.6.2-2pclos2013.x86_64.rpm The Falcon Programming Language
falcon-devel-0.9.6.2-2pclos2013.x86_64.rpm Development files for falcon
fastjar-0.98-1pclos2011.x86_64.rpm Archive tool for Java archives
fatrat-1.1.3-5pclos2013.x86_64.rpm FatRat - download manager
fatsort-0.9.14-0.209.3pclos2011.x86_64.rpm A C utility that sorts FAT16 and FAT32 partitions
faust-0.9.24-2pclos2013.x86_64.rpm Faust AUdio Stream (real-time audio signal processing language)
faust-kate-0.9.24-2pclos2013.x86_64.rpm Kate/Kwrite plugin for faust
faust-tools-0.9.24-2pclos2013.x86_64.rpm 3rd party tools written for faust
fb2png-0.1-7pclos2011.x86_64.rpm Take screenshots from the framebuffer
Advertisement
Advertisement