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 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 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 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 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 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 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 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 Mon, 13 Dec 2004 16:05:18 +0100 coq (8.0pl1-4) unstable; urgency=low * Rebuilt against ocaml 3.08.2 -- Stefano Zacchiroli 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 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 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 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 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 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 Mon, 7 Oct 2002 12:34:03 +0200 coq (7.3-1) unstable; urgency=low * New upstream version. -- Judicael Courant 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 Fri, 15 Feb 2002 09:17:20 +0100 coq (7.2-8) unstable; urgency=low * "timeout" time is now 5300s (< 90 min). -- Judicael Courant 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 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 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 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 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 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 Fri, 11 Jan 2002 11:08:03 +0100 coq (7.2-1) unstable; urgency=low * New upstream version. -- Judicaël Courant 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 Tue, 11 Dec 2001 13:33:15 +0100 coq (7.1-1) unstable; urgency=low * New upstream version. -- Judicaël Courant Tue, 25 Sep 2001 16:27:04 +0200 coq (7.0-1) unstable; urgency=low * New maintainer Judicaël Courant . * 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 Tue, 17 Apr 2001 19:24:34 +0200 coq (6.3.1-3) unstable; urgency=low * Patched to allow use of ocaml3. -- Fernando Sanchez 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 Sat, 18 Dec 1999 16:45:01 +0100 coq (6.3.1-1) unstable; urgency=low * Initial Release. -- Fernando Sanchez Fri, 3 Dec 1999 22:06:04 +0100