diff options
| -rw-r--r-- | debian/changelog | 34 | ||||
| -rw-r--r-- | debian/control | 2 |
2 files changed, 9 insertions, 27 deletions
diff --git a/debian/changelog b/debian/changelog index b2352fbc..d87646b5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,38 +5,20 @@ coq (8.3.pl1+dfsg-1) experimental; urgency=low * debian/rules: - run test-suite in override_dh_auto_test, skip coqchk run - make "build" explicitly a phony target - - -- Stéphane Glondu <glondu@debian.org> Fri, 24 Dec 2010 12:51:59 +0100 - -coq (8.3+dfsg-1) experimental; urgency=low - - * New upstream release - - add 0001-Fix-missing-coqlib-argument-to-coqdep-in-test-suite.patch - * Bump Standards-Version to 3.9.1 (no changes) - - -- Stéphane Glondu <glondu@debian.org> Sat, 16 Oct 2010 09:56:23 +0200 - -coq (8.3~rc1+dfsg-1) experimental; urgency=low - - * New upstream release candidate - - -- Stéphane Glondu <glondu@debian.org> Tue, 10 Aug 2010 19:22:15 +0200 - -coq (8.3~beta0+13323-1) experimental; urgency=low - - * New upstream snapshot * Update copyright file * Fix installation of emacs files + * Install plugins in new binary package libcoq-ocaml + * Bump Standards-Version to 3.9.1 (no changes) - -- Stéphane Glondu <glondu@debian.org> Sat, 24 Jul 2010 20:17:44 +0200 + -- Stéphane Glondu <glondu@debian.org> Fri, 24 Dec 2010 12:51:59 +0100 -coq (8.3~beta0+13298-1) experimental; urgency=low +coq (8.2.pl2+dfsg-2) unstable; urgency=low - * New upstream snapshot - - remove all patches - * Install plugins in new binary package libcoq-ocaml + * Add Fix-build-with-camlp5-6.02.1.patch + * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease + lablgtk2 transition - -- Stéphane Glondu <glondu@debian.org> Wed, 21 Jul 2010 15:16:53 +0200 + -- Stéphane Glondu <glondu@debian.org> Mon, 21 Feb 2011 16:51:11 +0100 coq (8.2.pl2+dfsg-1) unstable; urgency=low diff --git a/debian/control b/debian/control index cc64c1b2..d093e79e 100644 --- a/debian/control +++ b/debian/control @@ -13,7 +13,7 @@ Build-Depends: ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp5 (>= 5.12-2~), - liblablgtk2-ocaml-dev (>= 2.14), + liblablgtk2-ocaml-dev (>= 2.14.2), texlive-latex-extra, hevea (>= 1.10-7) Homepage: http://coq.inria.fr/ |