path: root/debian/changelog

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

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

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

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

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

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

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

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

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