libfloat-coq_8.4-5_all.deb


Advertisement

Description

libfloat-coq - Coq library on floating-point arithmetic

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: libfloat-coq
Package version: 8.4
Package release: 5
Package architecture: all
Package type: deb
Installed size: 62.03 KB
Download size: 10.92 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: coq-float

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install libfloat-coq deb package:
      # sudo apt-get install libfloat-coq

    Changelog

    2015-10-14 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.4-5) unstable; urgency=medium * Recompile with OCaml 4.02.3

    2014-07-30 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.4-4) unstable; urgency=medium * Recompile with coq 8.4pl4

    2014-01-20 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.4-3) unstable; urgency=medium * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-*

    2013-12-07 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.4-2) unstable; urgency=low * Recompile with OCaml 4.01.0

    2013-05-08 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.4-1) unstable; urgency=low * New upstream release * Use format version 1.0 in debian/copyright * Bump Standards-Version to 3.9.4 * Bump debhelper compat level to 9

    2012-06-06 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.3pl1-4) unstable; urgency=low * Recompile with camlp5 6.06 (no changes)

    2012-03-30 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.3pl1-3) unstable; urgency=low * Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)

    2012-03-06 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.3pl1-2) unstable; urgency=low * Recompile with camlp5 6.04 (no changes)

    2012-01-09 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.3pl1-1) unstable; urgency=low * New upstream release - remove all patches (applied upstream)

    2011-12-25 - Stéphane Glondu <glondu@debian.org> coq-float (1:8.2-1.2-9) unstable; urgency=low * Rebuild with Coq 8.3pl3 (no source changes)

    Advertisement
    Advertisement