lp:debian/squeeze/coq-float

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

8. By Stéphane Glondu on 2010-07-03

* Rebuild with Coq 8.2pl2
* Update debian/watch
* Bump Standards-Version to 3.9.0 (no changes)
* Switch source package format to 3.0 (quilt)

7. By Stéphane Glondu on 2010-02-10

* Rebuild with OCaml 3.11.2
* Rewrite debian/rules with dh overrides
* Install *.vo files in user-contrib/Float
* debian/control:
  - move to section math
  - bump dependency to debhelper
  - update my e-mail address, remove DMUA
  - update Standards-Version to 3.8.4 (no changes)

6. By Stéphane Glondu on 2009-07-04

Rebuild with Coq 8.2pl1

5. By Stéphane Glondu on 2009-03-11

[ Samuel Mimram ]
* Switch packaging to git.
* Enforce strict dependency on coq ABI.
* Update standards version to 3.8.0.
* Add Homepage field.

[ Stephane Glondu ]
* New Upstream Version
* Use debhelper 7
* Add a build cache (for Debian debugging)
* Set Maintainer to d-o-m, add Samuel and myself to Uploaders
* Add DM-Upload-Allowed
* Switch copyright to machine-parsable format
* Add a more detailed long description for libfloat-coq

4. By Samuel Mimram on 2008-01-19

[ Stefano Zacchiroli ]
* add vcs-* fields

[ Samuel Mimram ]
* Rebuild with latest version of coq.

3. By Samuel Mimram on 2007-11-18

Rebuild with latest coq.

2. By Samuel Mimram on 2007-09-10

Rebuild with latest version of coq.

1. By Samuel Mimram on 2007-09-10

Import upstream version 8.1-1.0