lp://staging/ubuntu/karmic/coq

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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

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

13. By Cesare Tirabassi on 2008-05-27

No change rebuild against Ocaml 3.10.2

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

11. By Samuel Mimram on 2007-11-29

* Added check.dpatch to remove warnings which made some tests erroneously
  fail, closes: #452572.
* Added a dependency from coq to emacsen-common, closes: #435023.

10. By Samuel Mimram on 2007-11-16

Upload to unstable.

9. By Samuel Mimram on 2007-09-08

Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
closes: #439570.

8. By Samuel Mimram on 2007-07-04

Add dependencies on ${misc:Depends}, closes: #431679.

7. By Samuel Mimram on 2007-05-22

Correctly clean, closes: #424162.

6. By Samuel Mimram on 2007-04-24

* Correctly set Coq_config.best when rebuilding in byte mode.
* Removed tetex-extra from build-dependencies.