2009
coq (8.2.pl1+dfsg-3) unstable; urgency=low
* 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
-- Stéphane Glondu <glondu@debian.org> Sat, 29 Aug 2009 16:58:45 +0200
coq (8.2.pl1+dfsg-2) unstable; urgency=low
* During validation of stdlib, call coqchk without -silent to avoid
timeout on buildds because of lack of output
-- Stephane Glondu <steph@glondu.net> Sun, 05 Jul 2009 12:51:15 +0200
coq (8.2.pl1+dfsg-1) unstable; urgency=low
* New Upstream Version
* debian/purify_tarball: keep some files from doc/common/styles/html
needed for HTML API doc generation
-- Stephane Glondu <steph@glondu.net> Sat, 04 Jul 2009 12:13:28 +0200
coq (8.2-1+dfsg-2) unstable; urgency=low
[ Samuel Mimram ]
* Remove upstream url from long descriptions since we already use the
Homepage field, closes: #524037.
* Updated watch file.
[ Stephane Glondu ]
* Remove suggestion on package cle (which has been removed), use
readline-editor instead
* Recompile with OCaml 3.11.1 (Closes: #535320)
* Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to
ease OCaml 3.11.1 transition
* Move libcoq-ocaml-dev to section ocaml
* Update Standards-Version to 3.8.2
-- Stephane Glondu <steph@glondu.net> Wed, 01 Jul 2009 17:41:55 +0200
coq (8.2-1+dfsg-1) unstable; urgency=low
* 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
-- Stephane Glondu <steph@glondu.net> Fri, 27 Feb 2009 13:31:30 +0100
coq (8.2~rc2+dfsg-3) experimental; urgency=low
* Explicit more dependencies and drop dependency on
ocaml-best-compilers, for autobuilders
-- Stephane Glondu <steph@glondu.net> Sun, 08 Feb 2009 22:42:51 +0100
coq (8.2~rc2+dfsg-2) experimental; urgency=low
* Add more versioned dependencies to please buildds
-- Stephane Glondu <steph@glondu.net> Sun, 08 Feb 2009 10:52:43 +0100
coq (8.2~rc2+dfsg-1) experimental; urgency=low
* New upstream release candidate * Bump debhelper compatibility level to 7 * Remove obsolete patches * Use debhelper 7, simplify debian/rules (Closes: #436684) * Add binary package libcoq-ocaml-dev * Rename package coq-libs to coq-theories to avoid confusion, and add a NEWS file to document it * Add virtual coq-$ABI package, to express some ABI dependencies, and put $ABI in /usr/lib/coq/abi.
-- Stephane Glondu <steph@glondu.net> Mon, 02 Feb 2009 09:23:42 +0100
2008
coq (8.2~beta4+dfsg-2) experimental; urgency=low
* [45cca7f] Add non-native-archs.dpatch; fixes FTBFS on non-native
architectures (Closes: #495165)
-- Stephane Glondu <steph@glondu.net> Fri, 15 Aug 2008 13:20:16 +0200
coq (8.2~beta4+dfsg-1) experimental; urgency=low
[ Samuel Mimram ]
* New upstream release.
* Updated patches and removed coqdoc_stdlib, makefile, configure and
cmxa-install obsolete patches.
[ Stephane Glondu ]
* Update debian/rules and debhelper files
* [8dd1802] Fix typo in README.Debian
* [dec29bb] Add myself to Uploaders, and DM-Upload-Allowed to control
* [dd1436b] Switch packaging to git
* [2dd9e5d] Set doc-base section to Science/Mathematics
* [c89cb94] Add Homepage field
* [7dd7c53] Add debian/README.source
* [1c6c7c8] Bump Standards-Version to 3.8.0
* [38db629] Remove browser.dpatch and use --browser configure option
* [9fd4621] Add use-env-in-coq-config.dpatch
* [c7560b2] Remove obsolete manpages (now shipped upstream)
-- Stephane Glondu <steph@glondu.net> Tue, 12 Aug 2008 16:37:51 +0200
coq (8.1.pl3+dfsg-1) unstable; urgency=low
[ 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.
-- Samuel Mimram <smimram@debian.org> Fri, 04 Jan 2008 13:21:43 +0000
2007
coq (8.1.pl2+dfsg-3) unstable; urgency=low
* Added check.dpatch to remove warnings which made some tests erroneously
fail, closes: #452572.
* Added a dependency from coq to emacsen-common, closes: #435023.
-- Samuel Mimram <smimram@debian.org> Thu, 29 Nov 2007 13:59:01 +0000
coq (8.1.pl2+dfsg-2) unstable; urgency=low
* Upload to unstable.
-- Samuel Mimram <smimram@debian.org> Fri, 16 Nov 2007 19:20:24 +0000
coq (8.1.pl2+dfsg-1) experimental; urgency=low
* New upstream release. * Removed camlp5.dpatch, integrated upstream. * Updated browser.dpatch, coqdoc_stdlib.dpatch and makefile.dpatch. * Corrected emacs-mode startup file, closes: #446170. * Removed Sven Luther from uploaders.
-- Samuel Mimram <smimram@debian.org> Mon, 15 Oct 2007 18:55:09 +0000
coq (8.1.pl1+dfsg-3) unstable; urgency=low
* Depend on ocaml-base-nox since coq_makefile needs ocamlrun,
closes: #439570.
-- Samuel Mimram <smimram@debian.org> Sat, 08 Sep 2007 00:35:31 +0200
coq (8.1.pl1+dfsg-2) experimental; urgency=low
* Updated for OCaml 3.10. * Build-depend on camlp5. * Added camlp5.dpatch to fix compilation problems.
-- Samuel Mimram <smimram@debian.org> Wed, 22 Aug 2007 16:39:04 +0000
coq (8.1.pl1+dfsg-1) unstable; urgency=low
* New upstream release.
-- Samuel Mimram <smimram@debian.org> Sat, 18 Aug 2007 20:59:45 +0200
coq (8.1+dfsg-6) unstable; urgency=low
* Add dependencies on ${misc:Depends}, closes: #431679.
-- Samuel Mimram <smimram@debian.org> Wed, 04 Jul 2007 10:49:01 +0200
coq (8.1+dfsg-5) unstable; urgency=low
* Correctly clean, closes: #424162.
-- Samuel Mimram <smimram@debian.org> Tue, 22 May 2007 21:53:16 +0200
coq (8.1+dfsg-4) unstable; urgency=low
* Correctly set Coq_config.best when rebuilding in byte mode. * Removed tetex-extra from build-dependencies.
-- Samuel Mimram <smimram@debian.org> Tue, 24 Apr 2007 14:46:59 +0000
coq (8.1+dfsg-3) unstable; urgency=low
* Uploading to unstable.
-- Samuel Mimram <smimram@debian.org> Mon, 09 Apr 2007 16:48:46 +0200
coq (8.1+dfsg-2) experimental; urgency=low
* Added cmxa-install.dpatch to install cmxa only on native archs,
closes: #415867.
* Added configure.dpatch for the configure to correctly detect whether
ocamlopt is present or not.
* Use dh_installtex instead of hand-crafted postinst.
-- Samuel Mimram <smimram@debian.org> Sun, 18 Mar 2007 13:21:56 +0100
coq (8.1+dfsg-1) experimental; urgency=low
* New upstream release.
* Removed system.dpatch and next-ia64.dpatch, integrated upstream.
* Removed the subdirectories common, faq, RecTutorial, refman, rt, tools,
tutorial of the directory doc since they contain documentation under the
Open Publication License which is not DFSG-free (thus the +dfsg in the
version number). The script debian/utils/purify_tarball automates this
process. This documentation in packaged separately in non-free, in
the coq-doc package.
-- Samuel Mimram <smimram@debian.org> Tue, 13 Feb 2007 11:38:43 +0000
coq (8.1~gamma-4) experimental; urgency=low
* Correctly build glob.dump on non-native archs, closes: #400535.
-- Samuel Mimram <smimram@debian.org> Sun, 11 Feb 2007 18:02:49 +0100
coq (8.1~gamma-3) experimental; urgency=low
* Added next-ia64.dpatch to fix the FTBFS on ia64. * Correctly install coqdoc.sty, closes: #409027. * Build-depend on tetex-extra | texlive-latex-extra in order to allow building with texlive.
-- Samuel Mimram <smimram@debian.org> Sun, 4 Feb 2007 20:38:43 +0100
2006
coq (8.1~gamma-2) experimental; urgency=low
* Added no-complexity-test.dpatch to skip complexity checks (thanks Julien
Cristau), closes: #399919.
-- Samuel Mimram <smimram@debian.org> Thu, 23 Nov 2006 14:27:15 +0000
coq (8.1~gamma-1) experimental; urgency=low
* New upstream release. * Made the package binNMU-safe. * Minor improvements of the coqide.desktop file, closes: #383310. * Added system.dpatch to avoid erroneous interpretation of ~. * Removed assert.dpatch, integrated upstream.
-- Samuel Mimram <smimram@debian.org> Tue, 21 Nov 2006 13:33:55 +0000
coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
* New upstream beta release. * Added assert.dpatch to check assertions in native mode.
-- Samuel Mimram <smimram@debian.org> Thu, 13 Jul 2006 16:28:24 +0000
coq (8.0pl3+8.1beta-1) experimental; urgency=low
* New upstream release. * Added --fsets all option to configure to build the theory of finite sets. * Updated coqdoc_stdlib.dpatch, partly integrated upstream. * Removed failing_tests.dpath, all the tests should succeed now. * We don't need to remove rpaths anymore. * Updated standards version to 3.7.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Fri, 16 Jun 2006 12:59:07 +0000
coq (8.0pl3+8.1alpha-2) experimental; urgency=low
* Added makefile.dpatch in order for ocamlopt not to be called when
compiling on non-native archs.
* Do not build the pdf documentation for the library since we don't ship it.
This will avoid the FTBFS because of missing LaTeX fonts.
-- Samuel Mimram <smimram@debian.org> Sun, 30 Apr 2006 11:51:57 +0000
coq (8.0pl3+8.1alpha-1) experimental; urgency=low
* New upstream release. * No longer providing the compatibility coq7-libs package. * coq-libs is now providing its documentation in html format. * Added browser.dpatch to use the default Debian browser for help. * Disabling checks which don't succeed for now: failing_tests.dpatch. * Removed coq-8.0pl3-ocaml-3.09.dpatch.
-- Samuel Mimram <smimram@debian.org> Thu, 27 Apr 2006 13:43:16 +0000
coq (8.0pl3-2) unstable; urgency=low
* Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from
looping forever, closes: #353493.
-- Samuel Mimram <smimram@debian.org> Sun, 19 Feb 2006 11:33:21 +0000
coq (8.0pl3-1) unstable; urgency=low
* New upstream release.
* Removed unnecessary dependency on liblablgtk2-ocaml for coqide.
* Removed ocaml309.dpatch and text_view_typing_error.dpatch, integrated
upstream.
* Removing rpath from coqide binaries.
-- Samuel Mimram <smimram@debian.org> Thu, 19 Jan 2006 22:22:39 +0100
2005
coq (8.0pl2-4) unstable; urgency=low
* Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09,
closes: #340185.
* Removed recommends on coq-doc which is not in main anymore.
* Updated standards version to 3.6.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Mon, 21 Nov 2005 19:52:53 +0100
coq (8.0pl2-3) unstable; urgency=low
* Added text_view_typing_error patch to avoid a typing error and solve the
FTBFS, closes: #326740.
* Added forgotten call to dh_installmenu.
-- Samuel Mimram <smimram@debian.org> Wed, 7 Sep 2005 21:26:36 +0200
coq (8.0pl2-2) unstable; urgency=medium
* 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.
-- Samuel Mimram <smimram@debian.org> Tue, 22 Mar 2005 17:40:08 +0100
coq (8.0pl2-1) unstable; urgency=low
* New upstream release.
* Put the libraries in arch all since they are supposed to be
arch-independant.
* Updated the README.Debian to explain that .vo are not compatible between
different upstream releases.
* Renamed coq.desktop into coqide.desktop, updated it and put it in
/usr/share/applications/ to be compliant with the policy.
* Description synopsis now begin with lowercase letters.
* Updated Standards-Version to 3.6.1.1.
-- Samuel Mimram <smimram@debian.org> Mon, 31 Jan 2005 13:25:06 +0100
2004
coq (8.0pl1-5) unstable; urgency=low
* Reuploaded since powerpc .deb did not include native code executable
-- Stefano Zacchiroli <zack@debian.org> Mon, 13 Dec 2004 16:05:18 +0100
coq (8.0pl1-4) unstable; urgency=low
* Rebuilt against ocaml 3.08.2
-- Stefano Zacchiroli <zack@debian.org> Tue, 30 Nov 2004 21:38:21 +0100
coq (8.0pl1-3) unstable; urgency=high
* Small patch to be able to compile with ocaml 3.08.1. * Added a dependency to ocaml-base-nox when coq is compiled in bytecode. * Added a menu for coqide. * Enhanced the manpages. * Enhanced the short descriptions of the packages.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Tue, 17 Aug 2004 20:54:25 +0200
coq (8.0pl1-2) unstable; urgency=medium
* Changed section to math.
* Versionned the dependency to liblablgtk2-ocaml(-dev).
* If we fallback on bytecode, we also try to build coqide in bytecode (I hope
this will fix the FTBFS on alpha).
* Added a watch file.
* Removed the unnecessary patch an unpatch targets in the rules.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Mon, 16 Aug 2004 20:39:48 +0200
coq (8.0pl1-1) unstable; urgency=low
* New upstream release: finally the version without QPL-licensed files is out,
closes: #230356, #250497.
* Libraries are now in separate packages (coq-libs and coq7-libs).
* An additional package provides coqide.
* Built with OCaml 3.08.
* Thank you Martin Ellis and Julien Cristau for your help on this package.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Sun, 18 Jul 2004 01:10:24 +0200
coq (7.3.1-3) unstable; urgency=low
* Added build-dependency on ocaml-best-compilers, check for opt compilers
in the configure-stamp target of debian/rules. Thanks to Mike Furr for
the patch (closes: #242761).
* Converted changelog to UTF-8.
-- Ralf Treinen <treinen@debian.org> Fri, 9 Apr 2004 18:03:41 +0200
2003
coq (7.3.1-2) unstable; urgency=low
* Standards-Version 3.6.1.
* File debian/compat instead of variable DH_COMPAT.
* Build with ocaml-3.07.
* Maintainers: debian-ocaml-maint, Uploaders: The Ocaml Gang.
* Switch to dpatch system:
- 01_ocaml307: patch by Hugo Herbelin (thanks!) for compilation with
ocaml 3.07.
* Removed timeout crutch which used to be necessary for ocaml 3.04.
* Removed forcing of byte compilation on ppc.
* debian/rules: some cosmetic changes.
* Short description: capitalize first letter, drop terminal dot.
-- Ralf Treinen <treinen@debian.org> Tue, 7 Oct 2003 22:11:31 +0200
2002
coq (7.3.1-1) unstable; urgency=low
* New bugfix upstream version.
* Proof General is now Recommended since he has been freed (closes:
Bug#162894).
-- Judicael Courant <Judicael.Courant@lri.fr> Mon, 7 Oct 2002 12:34:03 +0200
coq (7.3-1) unstable; urgency=low
* New upstream version.
-- Judicael Courant <Judicael.Courant@lri.fr> Wed, 22 May 2002 14:48:21 +0200
coq (7.2-9) unstable; urgency=low
* ocamlc.opt completely broken on powerpc. Added a special case in
"rules" for using only bytecode.
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 15 Feb 2002 09:17:20 +0100
coq (7.2-8) unstable; urgency=low
* "timeout" time is now 5300s (< 90 min).
-- Judicael Courant <Judicael.Courant@lri.fr> Thu, 14 Feb 2002 17:38:06 +0100
coq (7.2-7) unstable; urgency=low
* Build now uses ocamlc.opt and ocamlopt.opt if available.
* Dependency forced on ocaml >= 3.04 (dependency ocaml >=3.04 | camlp4
does not make buildd happy. See http://buildd.debian.org/fetch.php?
&pkg=coq&ver=7.2-5&arch=arm&stamp=1013388706&file=log&as=raw).
-- Judicael Courant <Judicael.Courant@lri.fr> Tue, 12 Feb 2002 09:10:01 +0100
coq (7.2-6) unstable; urgency=low
* Typo in rules, which made the build process always build in
bytecode. Fixed.
-- Judicael Courant <Judicael.Courant@lri.fr> Mon, 11 Feb 2002 11:22:21 +0100
coq (7.2-5) unstable; urgency=low
* Pb with timeout, used in 7.2-4 (bug 132927) making the build process
fail when compilation in native mode fails. Workaround in rules: after
a "timeout ... make ..." we try a "make -q" to check that everything
has been done correctly.
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 8 Feb 2002 10:08:10 +0100
coq (7.2-4) unstable; urgency=low
* Native code compilation failed on sparc; coqtop built by ocamlopt
entered an infinite loop on powerpc. Fixed (using timeout for powerpc:
if coqtop loops, it is rebuild using the bytecode compiler)
-- Judicael Courant <Judicael.Courant@lri.fr> Fri, 1 Feb 2002 11:04:25 +0100
coq (7.2-3) unstable; urgency=low
* Workaround for problems with buildd/apt trying to install camlp4
(closes: Bug#130046).
-- Judicaël Courant <Judicael.Courant@lri.fr> Mon, 21 Jan 2002 09:46:16 +0100
coq (7.2-2) unstable; urgency=low
* Build-Depends now requires camlp4 instead of camlp4 (>=3.01) since
camlp4 is a virtual package provided by ocaml >=3.04.
-- Judicaël Courant <Judicael.Courant@lri.fr> Fri, 11 Jan 2002 11:08:03 +0100
coq (7.2-1) unstable; urgency=low
* New upstream version.
-- Judicaël Courant <Judicael.Courant@lri.fr> Wed, 9 Jan 2002 14:02:42 +0100
2001
coq (7.1-2) unstable; urgency=low
* Fixed policy problem (conf files).
* Trying to compile in bytecode if native code compilation fails
(closes: Bug#119714)
* Errors raised by the Simpl tactic is an upstream bug and should
have been fixed in 7.0 (closes: Bug#74518).
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 11 Dec 2001 13:33:15 +0100
coq (7.1-1) unstable; urgency=low
* New upstream version.
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 25 Sep 2001 16:27:04 +0200
coq (7.0-1) unstable; urgency=low
* New maintainer Judicaël Courant <Judicael.Courant@lri.fr>. * New upstream version. * Added Build-Depends (closes: Bug#70273). * Cleaned up dependencies. * Emacs mode installation now follows Emacs policy. * Made compilation non-interactive (closes: Bug#92461). * Added Suggests cle.
-- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 17 Apr 2001 19:24:34 +0200
2000
coq (6.3.1-3) unstable; urgency=low
* Patched to allow use of ocaml3.
-- Fernando Sanchez <fer@debian.org> Fri, 7 Jul 2000 08:05:47 +0200
1999
coq (6.3.1-2) unstable; urgency=low
* Some changes to allow successful porting of this package:
* Added checking for ocamlopt.opt before running ./configure with -opt,
and configure without it if it is not present for this architecture.
* Added checking for ocamlopt before making world-opt.
-- Fernando Sanchez <fer@debian.org> Sat, 18 Dec 1999 16:45:01 +0100
coq (6.3.1-1) unstable; urgency=low
* Initial Release.
-- Fernando Sanchez <fer@debian.org> Fri, 3 Dec 1999 22:06:04 +0100