facile-1.1.3-5-x86_64.pkg.tar.xz


Advertisement

Description

facile - A Functional Constraint Library

Property Value
Distribution Arch Linux
Repository Arch Linux Extra x86_64
Package filename facile-1.1.3-5-x86_64.pkg.tar.xz
Package name facile
Package version 1.1.3
Package release 5
Package architecture x86_64
Package type xz
Homepage http://www.recherche.enac.fr/opti/facile/
License LGPL
Maintainer Antonio Rojas <arojas@archlinux.org>
Download size 543.59 KB
Installed size 2.42 MB

Alternatives

Package Version Architecture Repository
facile - - -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package facile-1.1.3-5-x86_64.pkg.tar.xz
Source Package facile

Install Howto

  1. Enable the extra repository on /etc/pacman.conf:
    
    [extra]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install facile xz package:
    # pacman -Sy facile

Files

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

See Also

Package Description
fakechroot-2.20.1-1-x86_64.pkg.tar.xz Gives a fake chroot environment
falkon-3.1.0-6-x86_64.pkg.tar.xz Cross-platform QtWebEngine browser
farstream-0.2.8-2-x86_64.pkg.tar.xz Farstream (formerly Farsight) - Audio/Video Communications Framework
fastjar-0.98-5-x86_64.pkg.tar.xz Sun java jar compatible archiver
fcgi-2.4.0-14-x86_64.pkg.tar.xz FASTCgi (fcgi) is a language independent, high performant extension to CGI
feh-3.2.1-1-x86_64.pkg.tar.xz Fast and light imlib2-based image viewer
festival-2.5.0-1-x86_64.pkg.tar.xz A general multi-lingual speech synthesis system
ffcall-2.1-1-x86_64.pkg.tar.xz C library for implementing foreign function calls in embedded interpreters
ffmpeg-1:4.2-4-x86_64.pkg.tar.xz Complete solution to record, convert and stream audio and video
ffmpegthumbnailer-2.2.0-2-x86_64.pkg.tar.xz Lightweight video thumbnailer that can be used by file managers
ffmpegthumbs-19.04.3-1-x86_64.pkg.tar.xz FFmpeg-based thumbnail creator for video files
ffnvcodec-headers-9.0.18.1-1-any.pkg.tar.xz FFmpeg version of headers required to interface with Nvidias codec APIs
fftw-3.3.8-1-x86_64.pkg.tar.xz A library for computing the discrete Fourier transform (DFT)
figlet-2.2.5-3-x86_64.pkg.tar.xz A program for making large letters out of ordinary text
file-roller-3.32.1-1-x86_64.pkg.tar.xz Create and modify archives
Advertisement
Advertisement