Branches for Squeeze

Name Status Last Modified Last Commit
lp:debian/squeeze/coq 1 Development 2010-07-02 15:25:15 UTC
11. * New upstream release - compiles w...

Author: Stéphane Glondu
Revision Date: 2010-07-02 15:25:15 UTC

* New upstream release
  - compiles with OCaml 3.12 (Closes: #585452)
  - remove 0001-Update-for-why-2.19.patch (applied upstream)
  - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
* Use dh with overrides
* debian/control:
  - remove Stefano and Remi from Uploaders
  - replace Conflicts with Breaks
  - bump Standards-Version to 3.9.0
* Switch source package format to 3.0 (quilt)

11 of 1 result