Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | New branches | Stephane Glondu | 2010-07-21 | |
| | | | ||||
* | | | New upstream snapshot | Stephane Glondu | 2010-07-21 | |
| | | | ||||
* | | | Merge branch 'experimental/upstream' into experimental/master | Stephane Glondu | 2010-07-21 | |
|\| | | |/ |/| | ||||
| * | Imported Upstream snapshot 8.3~beta0+13298 | Stephane Glondu | 2010-07-21 | |
| | | ||||
* | | Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-1 | Stephane Glondu | 2010-07-02 | |
| | | ||||
* | | Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch | Stephane Glondu | 2010-07-02 | |
| | | | | | | | | ...to remove embedded Unix from grammar.cma | |||
* | | Fix a few warnings | Stephane Glondu | 2010-07-02 | |
| | | ||||
* | | Remove Stefano and Remi from Uploaders | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Bump SV to 3.9.0 | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Use dh with overrides | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Use debhelper more thoroughly | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Switch source package format to 3.0 (quilt) | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | New upstream release | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Merge commit 'upstream/8.2pl2+dfsg' | Stephane Glondu | 2010-07-01 | |
|\| | ||||
| * | Imported Upstream version 8.2pl2+dfsgupstream/8.2.pl2+dfsg | Stephane Glondu | 2010-07-01 | |
| | | ||||
* | | Add 0003-Fix-build-with-OCaml-3.12.patch | Stephane Glondu | 2010-06-28 | |
| | | ||||
* | | Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6 | Stephane Glondu | 2010-02-22 | |
| | | ||||
* | | Update changelog and prepare upload to unstabledebian/8.2.pl1+dfsg-5 | Stephane Glondu | 2010-02-10 | |
| | | ||||
* | | Bump Standards-Version to 3.8.4 (no changes) | Stephane Glondu | 2010-02-10 | |
| | | ||||
* | | Make NEWS file Lintian-friendly | Stephane Glondu | 2010-02-10 | |
| | | ||||
* | | NOT RELEASED YET | Stephane Glondu | 2010-02-10 | |
| | | ||||
* | | Prepare upload to unstabledebian/8.2.pl1+dfsg-4 | Stephane Glondu | 2009-12-03 | |
| | | ||||
* | | Switch to dh-ocaml 0.9 | Stephane Glondu | 2009-12-03 | |
| | | ||||
* | | debian/control: fix typo in long description (Closes: #557458) | Stefano Zacchiroli | 2009-11-22 | |
| | | ||||
* | | Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3 | Stephane Glondu | 2009-08-29 | |
| | | ||||
* | | Add 0001-Update-for-why-2.19.patch | Stephane Glondu | 2009-08-29 | |
| | | ||||
* | | More precise informations in README.Debian | Stephane Glondu | 2009-07-26 | |
| | | ||||
* | | Update README.Debian (Closes: #538398) | Stephane Glondu | 2009-07-25 | |
| | | ||||
* | | Call coqchk without -silentdebian/8.2.pl1+dfsg-2 | Stephane Glondu | 2009-07-05 | |
| | | ||||
* | | New Upstream Versiondebian/8.2.pl1+dfsg-1 | Stephane Glondu | 2009-07-04 | |
| | | ||||
* | | Merge commit 'upstream/8.2.pl1+dfsg' | Stephane Glondu | 2009-07-04 | |
|\| | ||||
| * | Imported Upstream version 8.2.pl1+dfsgupstream/8.2.pl1+dfsg | Stephane Glondu | 2009-07-04 | |
| | | ||||
* | | Keep some file from doc/common/styles/html/simple | Stephane Glondu | 2009-07-04 | |
| | | | | | | | | They are needed for HTML API doc generation. | |||
* | | Prepare upload to unstabledebian/8.2-1+dfsg-2 | Stephane Glondu | 2009-07-01 | |
| | | ||||
* | | Suggests readline-editor instead of cle | Stephane Glondu | 2009-04-27 | |
| | | ||||
* | | Remove upstream url from long descriptions since we already use the Homepage ↵ | Samuel Mimram | 2009-04-14 | |
| | | | | | | | | field. | |||
* | | Updated watch file. | Samuel Mimram | 2009-04-06 | |
| | | ||||
* | | Prepare upload to unstable | Stephane Glondu | 2009-02-28 | |
| | | ||||
* | | dh_link expects full targets in *.links file! | Stephane Glondu | 2009-02-28 | |
| | | ||||
* | | Add versioned dependencies | Stephane Glondu | 2009-02-27 | |
| | | ||||
* | | Add dependency on liblablgtk2-ocaml | Stephane Glondu | 2009-02-27 | |
| | | ||||
* | | Add missing Conflicts and Replaces (Closes: #517107) | Stephane Glondu | 2009-02-26 | |
| | | ||||
* | | Merge branch 'master' of ↵ | Samuel Mimram | 2009-02-20 | |
|\ \ | | | | | | | | | | git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/coq | |||
* | | | Install CSS for stdlib documentation. | Samuel Mimram | 2009-02-20 | |
| | | | ||||
| * | | Update changelog | Stephane Glondu | 2009-02-20 | |
| | | | ||||
| * | | Remove dependency on dpatch | Stephane Glondu | 2009-02-20 | |
| | | | ||||
| * | | Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi | Stephane Glondu | 2009-02-20 | |
| | | | ||||
| * | | Use ocamlinit.mk | Stephane Glondu | 2009-02-20 | |
| | | | ||||
| * | | Use Debian changelog to determine COQ_VERSION | Stephane Glondu | 2009-02-20 | |
|/ / | ||||
* | | Merge. | Samuel Mimram | 2009-02-19 | |
|\ \ |