lp:debian/squeeze/coq

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

11. By Stéphane Glondu on 2010-07-02

* 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)

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

Add Disable-micromega-tests.patch (workaround for bug #570920)

9. By Stéphane Glondu on 2009-12-03

[ Stefano Zacchiroli ]
* debian/control: fix typo in long description (Closes: #557458)

[ Stéphane Glondu ]
* Switch to dh-ocaml 0.9

8. By Stéphane Glondu on 2009-08-29

* Update README.Debian (Closes: #538398)
* Add 0001-Update-for-why-2.19.patch
* debian/control:
  - update my e-mail address and remove DMUA
  - add why to Suggests
  - add quilt to Build-Depends
  - update Standards-Version to 3.8.3 (no changes)
* Update README.source to reflect use of quilt

7. By Stéphane Glondu on 2009-07-05

During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output

6. By Stéphane Glondu on 2009-02-27

* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
  /usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
  (Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
  custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11

5. By Samuel Mimram on 2008-01-04

[ 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.

4. By Samuel Mimram on 2006-02-19

Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
looping forever, closes: #353493.

3. By Samuel Mimram on 2005-03-22

* Rebuilding with OCaml 3.08.3 is necessary because of the former dependency
  on ocaml-base-nox-3.08.
* Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem
  to be necessary, even on non-native archs.
* Cleaner handling of -arch and -indep targets.
* Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for
  non-coqide users too.
* Using dh_desktop to register .desktop files.

2. By Judicael Courant <email address hidden> on 2002-02-15

ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.