summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Bump SV to 3.9.0Gravatar Stephane Glondu2010-07-01
|
* Use dh with overridesGravatar Stephane Glondu2010-07-01
|
* Use debhelper more thoroughlyGravatar Stephane Glondu2010-07-01
|
* Switch source package format to 3.0 (quilt)Gravatar Stephane Glondu2010-07-01
|
* New upstream releaseGravatar Stephane Glondu2010-07-01
|
* Merge commit 'upstream/8.2pl2+dfsg'Gravatar Stephane Glondu2010-07-01
|\
| * Imported Upstream version 8.2pl2+dfsgupstream/8.2.pl2+dfsgGravatar Stephane Glondu2010-07-01
| |
* | Add 0003-Fix-build-with-OCaml-3.12.patchGravatar Stephane Glondu2010-06-28
| |
* | Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6Gravatar Stephane Glondu2010-02-22
| |
* | Update changelog and prepare upload to unstabledebian/8.2.pl1+dfsg-5Gravatar Stephane Glondu2010-02-10
| |
* | Bump Standards-Version to 3.8.4 (no changes)Gravatar Stephane Glondu2010-02-10
| |
* | Make NEWS file Lintian-friendlyGravatar Stephane Glondu2010-02-10
| |
* | NOT RELEASED YETGravatar Stephane Glondu2010-02-10
| |
* | Prepare upload to unstabledebian/8.2.pl1+dfsg-4Gravatar Stephane Glondu2009-12-03
| |
* | Switch to dh-ocaml 0.9Gravatar Stephane Glondu2009-12-03
| |
* | debian/control: fix typo in long description (Closes: #557458)Gravatar Stefano Zacchiroli2009-11-22
| |
* | Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3Gravatar Stephane Glondu2009-08-29
| |
* | Add 0001-Update-for-why-2.19.patchGravatar Stephane Glondu2009-08-29
| |
* | More precise informations in README.DebianGravatar Stephane Glondu2009-07-26
| |
* | Update README.Debian (Closes: #538398)Gravatar Stephane Glondu2009-07-25
| |
* | Call coqchk without -silentdebian/8.2.pl1+dfsg-2Gravatar Stephane Glondu2009-07-05
| |
* | New Upstream Versiondebian/8.2.pl1+dfsg-1Gravatar Stephane Glondu2009-07-04
| |
* | Merge commit 'upstream/8.2.pl1+dfsg'Gravatar Stephane Glondu2009-07-04
|\|
| * Imported Upstream version 8.2.pl1+dfsgupstream/8.2.pl1+dfsgGravatar Stephane Glondu2009-07-04
| |
* | Keep some file from doc/common/styles/html/simpleGravatar Stephane Glondu2009-07-04
| | | | | | | | They are needed for HTML API doc generation.
* | Prepare upload to unstabledebian/8.2-1+dfsg-2Gravatar Stephane Glondu2009-07-01
| |
* | Suggests readline-editor instead of cleGravatar Stephane Glondu2009-04-27
| |
* | Remove upstream url from long descriptions since we already use the Homepage ↵Gravatar Samuel Mimram2009-04-14
| | | | | | | | field.
* | Updated watch file.Gravatar Samuel Mimram2009-04-06
| |
* | Prepare upload to unstableGravatar Stephane Glondu2009-02-28
| |
* | dh_link expects full targets in *.links file!Gravatar Stephane Glondu2009-02-28
| |
* | Add versioned dependenciesGravatar Stephane Glondu2009-02-27
| |
* | Add dependency on liblablgtk2-ocamlGravatar Stephane Glondu2009-02-27
| |
* | Add missing Conflicts and Replaces (Closes: #517107)Gravatar Stephane Glondu2009-02-26
| |
* | Merge branch 'master' of ↵Gravatar Samuel Mimram2009-02-20
|\ \ | | | | | | | | | git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/coq
* | | Install CSS for stdlib documentation.Gravatar Samuel Mimram2009-02-20
| | |
| * | Update changelogGravatar Stephane Glondu2009-02-20
| | |
| * | Remove dependency on dpatchGravatar Stephane Glondu2009-02-20
| | |
| * | Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abiGravatar Stephane Glondu2009-02-20
| | |
| * | Use ocamlinit.mkGravatar Stephane Glondu2009-02-20
| | |
| * | Use Debian changelog to determine COQ_VERSIONGravatar Stephane Glondu2009-02-20
|/ /
* | Merge.Gravatar Samuel Mimram2009-02-19
|\ \
* | | Added coqvars.mk helper for coq-related packages.Gravatar Samuel Mimram2009-02-19
| | |
* | | Use variables from dh-ocaml in rules.Gravatar Samuel Mimram2009-02-19
| | |
| * | Added coqvars.mk helper for coq-related packages.Gravatar Samuel Mimram2009-02-19
| | |
| * | Use variables from dh-ocaml in rules.Gravatar Samuel Mimram2009-02-19
|/ /
* | Remove experimental dependencies and restore ocaml-best-compilerGravatar Stephane Glondu2009-02-19
| |
* | New Upstream VersionGravatar Stephane Glondu2009-02-19
| |
* | Merge commit 'upstream/8.2-1+dfsg'Gravatar Stephane Glondu2009-02-19
|\|
| * Imported Upstream version 8.2-1+dfsgupstream/8.2-1+dfsgGravatar Stephane Glondu2009-02-19
| |
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-08 11:19:33 +0000