~ubuntu-branches/debian/squeeze/coq/squeeze

• Changes
• Files

~ubuntu-branches/debian/squeeze/coq/squeeze » Changes from revision 11

From Revision 11

expand all

collapse all

Rev		Summary	Authors	Tags	Date	Diff	Files
11		* New upstream release * New upstream release   - compiles with OCaml 3.12 (Closes: #585452)   - remove 0001-Update-for-why-2.19.patch (applied upstream)   - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch * Use dh with overrides * debian/control:   - remove Stefano and Remi from Uploaders   - replace Conflicts with Breaks   - bump Standards-Version to 3.9.0 * Switch source package format to 3.0 (quilt)	Stéphane Glondu	8.2.pl2+dfsg-1	14 years ago
10		Add Disable-micromega-tests.patch (workaround for bug #57092... Add Disable-micromega-tests.patch (workaround for bug #570920)	Stéphane Glondu	8.2.pl1+dfsg-6	14 years ago
9		[ Stefano Zacchiroli ] [ Stefano Zacchiroli ] * debian/control: fix typo in long description (Closes: #557458) [ Stéphane Glondu ] * Switch to dh-ocaml 0.9	Stéphane Glondu	8.2.pl1+dfsg-4	14 years ago
8		* Update README.Debian (Closes: #538398) * 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	8.2.pl1+dfsg-3	14 years ago
7		During validation of stdlib, call coqchk without -silent to ... During validation of stdlib, call coqchk without -silent to avoid timeout on buildds because of lack of output	Stephane Glondu	8.2.pl1+dfsg-2	14 years ago
6		* New Upstream Version * 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	8.2-1+dfsg-1	15 years ago
5		[ Stefano Zacchiroli ] [ 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	8.1.pl3+dfsg-1	16 years ago
4		Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intui... Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from looping forever, closes: #353493.	Samuel Mimram	8.0pl3-2	18 years ago
3		* Rebuilding with OCaml 3.08.3 is necessary because of the f... * 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	8.0pl2-2	19 years ago
2		ocamlc.opt completely broken on powerpc. Added a special cas... ocamlc.opt completely broken on powerpc. Added a special case in "rules" for using only bytecode.	Judicael Courant	7.2-9	22 years ago
1		Import upstream version 7.2 Import upstream version 7.2	Judicael Courant	upstream-7.2	22 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1