libfacile-ocaml-dev_1.1.1-1+b1_amd64.deb


Advertisement

Description

libfacile-ocaml-dev - functional constraint library implemented in Objective Caml

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: libfacile-ocaml-dev
Package version: 1.1.1
Package release: 1+b1
Package architecture: amd64
Package type: deb
Installed size: 2.53 KB
Download size: 563.26 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

Requires

Provides

  • libfacile-ocaml-dev-wa9j0

    Download

    Source package: facile

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install libfacile-ocaml-dev deb package:
      # sudo apt-get install libfacile-ocaml-dev

    Changelog

    2016-01-17 - Mehdi Dogguy <mehdi@debian.org> facile (1.1.1-1) unstable; urgency=medium * Team upload. * New upstream release - Refresh patches - Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch, integrated upstream.

    2013-12-07 - Stéphane Glondu <glondu@debian.org> facile (1.1-9) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.01.0 (Closes: #731218) * Remove myself from Uploaders * Update Vcs-* [ Mehdi Dogguy ] * Remove myself from Uploaders.

    2011-08-17 - Stéphane Glondu <glondu@debian.org> facile (1.1-8) unstable; urgency=low * debian/control: - update Vcs-* to point to git repository - remove duplicate section field - add suggestion to ocaml-findlib - bump Standards-Version to 3.9.2 (no changes) * Switch source package format to 3.0 (quilt) * Bump debhelper compat level to 8

    2009-10-06 - Mehdi Dogguy <mehdi@debian.org> facile (1.1-7) unstable; urgency=low [ Stéphane Glondu ] * Acknowledge non-maintainer uploads * Switch packaging to git * Remove Steffen and add myself to Uploaders * Bump debhelper compatibility level to 7 * Remove versioned dependencies available in oldstable * Switch copyright to machine-parsable format * Add Homepage * Move to new ocaml section * Fix typography of Objective Caml in description [ Mehdi Dogguy ] * Add myself to uploaders * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~) * Use new features of dh-ocaml 0.9 * Bump Standards-Version to 3.8.3 + add a README.source * Move libfacile-ocaml-dev to section ocaml * Add a META for libfacile-ocaml-dev (Closes: #443005)

    2008-10-09 - Loic Minier <lool@dooz.org> facile (1.1-6.3) unstable; urgency=low * Call clean in examples/ manually as upstream's Makefile wont and cdbs doesn't keep the patches applied when cleaning. * Fix ocamlopt usage; closes: #501672. - New dpatch, 30-non-opt-check, ocamlopt isn't available on all arches; don't use it for make check. - New patch, 40-allow-ocamlc-override-in-examples, allow overriding OCAMLC in examples by using separate _INVOKE vars to run misc commands.

    2008-10-02 - Loic Minier <lool@dooz.org> facile (1.1-6.2) unstable; urgency=low [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir [ Loic Minier ] * Non-maintainer upload to fix misc packaging bugs; closes: #500830. * Only compute OCAML_ABI once by using := instead of =. * Don't overwrite DEB_DH_GENCONTROL_ARGS and use -u instead of -- to pass args to dpkg-gencontrol in a safer manner. * Include dpatch.mk instead of calling dpatch manually; NB: this will cause the patches to be applied before running configure which is more useful, but doesn't change anything with the current patches; bump up cdbs bdep to >= 0.4.21. * Use the makefile.mk cdbs class instead of the autotools one. - Move the configure flag to a new custom common-configure-impl / config_Makefile rule. - Drop --disable-maintainer-mode exclusion hack. - Don't call make clean in clean; cdbs does that for us. - Set DEB_MAKE_INSTALL_TARGET to install. * Drop redundant setting of FACILEDIR with the echo >config_Makefile construct; the configure flag works fine. * Replace debian/libfacile-ocaml-dev.dirs.in template and logic with DEB_INSTALL_DIRS_ALL; fixes lack of cleanup of debian/libfacile-ocaml-dev.dirs. * Set OCAMLC OCAMLMLI via DEB_MAKE_INVOKE instead of DEB_MAKE_BUILD_TARGET; this sets the same environment for all make runs. * Add year 2004 to copyright. * Point at common-licenses for the full text of the LGPL and include the full licensing header. * Depend on ${misc:Depends} as recommended in debhelper 5. * Set DEB_MAKE_CHECK_TARGET to check to run the testsuite during package build. * Use Vcs-* headers instead of XS-Vcs-*. * Bump up Standards-Version to 3.8.0. * Provide examples/*.ml and examples/*.dat as examples; closes: #446804.

    Advertisement
    Advertisement