~ubuntu-branches/ubuntu/wily/coq/wily : changes

~ubuntu-branches/ubuntu/wily/coq/wily » Changes from revision 23

From Revision 23 to 4

Rev	Summary	Authors	Tags	Date
23	* New upstream release (Closes: #755953) * New upstream release (Closes: #755953) * Switch debian/copyright to Format 1.0 * Bump Standards-Version to 3.9.5 * Bump debhelper compat level to 9	Stéphane Glondu	8.4pl4dfsg-1	9 years ago
22	* New upstream release * New upstream release * Update README.Debian (Closes: #680248)	Stéphane Glondu	8.4pl3dfsg-1	10 years ago
21	Upload to unstable Upload to unstable	Stéphane Glondu	8.4pl2dfsg-4	10 years ago
20	* New upstream release * New upstream release * Upload to unstable	Stéphane Glondu	8.4pl2dfsg-1	11 years ago
19	Recompile with camlp5 6.06 (no changes) Recompile with camlp5 6.06 (no changes)	Stéphane Glondu	8.3.pl4+dfsg-2	12 years ago
18	* New upstream release * New upstream release * Replace proofgeneral-coq by proofgeneral in dependencies * Switch debian/copyright to format 1.0 * Bump Standards-Version to 3.9.3	Stéphane Glondu	8.3.pl4+dfsg-1	12 years ago
17	Recompile with camlp5 6.04 (no changes) Recompile with camlp5 6.04 (no changes)	Stéphane Glondu	8.3.pl3+dfsg-2	12 years ago
16	* New upstream release * New upstream release - remove all patches (applied upstream)	Stéphane Glondu	8.3.pl3+dfsg-1	12 years ago
15	* Recompile with OCaml 3.12.1 (no changes) * Recompile with OCaml 3.12.1 (no changes) * Bump Standards-Version to 3.9.2 (no changes)	Stéphane Glondu	8.3.pl2+dfsg-2	12 years ago
14	* New upstream release * New upstream release * Add patch to fix thumb2-related build error (Closes: #622882) * Upload to unstable	Stéphane Glondu	8.3.pl2+dfsg-1	13 years ago
13	* Add Fix-build-with-camlp5-6.02.1.patch * Add Fix-build-with-camlp5-6.02.1.patch * Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease lablgtk2 transition	Stéphane Glondu	8.2.pl2+dfsg-2	13 years ago
12	* 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	13 years ago
11	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
10	* Rebuild with OCaml 3.11.2 * Rebuild with OCaml 3.11.2 * Bump Standards-Version to 3.8.4 (no changes)	Stéphane Glondu	8.2.pl1+dfsg-5	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

Older »