Name Status Last Modified Last Commit
lp:debian/coq 1 Development 2015-10-13 17:26:06 UTC
24. Fix compilation with OCaml 4.02

Author: Stéphane Glondu
Revision Date: 2015-10-13 17:26:06 UTC

Fix compilation with OCaml 4.02

lp:debian/experimental/coq 1 Development 2015-07-20 09:51:21 UTC
30. * Enable native compiler only on amd6...

Author: gares
Revision Date: 2015-07-20 09:51:21 UTC

* Enable native compiler only on amd64 and i386
* Enable 'make test-suite' target

lp:debian/stretch/coq 1 Development 2015-05-27 11:10:28 UTC
22. * New upstream release (Closes: #7559...

Author: Stéphane Glondu
Revision Date: 2014-07-27 15:25:03 UTC

* New upstream release (Closes: #755953)
* Switch debian/copyright to Format 1.0
* Bump Standards-Version to 3.9.5
* Bump debhelper compat level to 9

lp:debian/jessie/coq 1 Development 2014-07-27 15:25:03 UTC
22. * New upstream release (Closes: #7559...

Author: Stéphane Glondu
Revision Date: 2014-07-27 15:25:03 UTC

* New upstream release (Closes: #755953)
* Switch debian/copyright to Format 1.0
* Bump Standards-Version to 3.9.5
* Bump debhelper compat level to 9

lp:debian/wheezy/coq 1 Development 2012-06-06 07:35:26 UTC
18. Recompile with camlp5 6.06 (no changes)

Author: Stéphane Glondu
Revision Date: 2012-06-06 07:35:26 UTC

Recompile with camlp5 6.06 (no changes)

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)

lp:debian/lenny/coq 2 Mature 2009-07-30 19:49:16 UTC
5. [ Stefano Zacchiroli ] * fix vcs-svn ...

Author: Samuel Mimram
Revision Date: 2008-01-04 13:21:43 UTC

[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir

[ Samuel Mimram ]
* New upstream release.
* Makefile should now be compatible with dash, closes: #459050.
* Updated watch file.

17 of 7 results