summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Expand)AuthorAge
* Prepare upload to experimentaldebian/8.4_beta+dfsg-1Gravatar Stephane Glondu2012-01-12
* New upstream beta releaseGravatar Stephane Glondu2012-01-12
* Update changelog and prepare upload to unstabledebian/8.3.pl3+dfsg-1Gravatar Stephane Glondu2011-12-25
* New upstream releaseGravatar Stephane Glondu2011-12-25
* Prepare upload to unstabledebian/8.3.pl2+dfsg-2Gravatar Stephane Glondu2011-11-02
* Update changelog and prepare upload to unstabledebian/8.3.pl2+dfsg-1Gravatar Stephane Glondu2011-04-19
* New upstream releaseGravatar Stephane Glondu2011-04-19
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2Gravatar Stephane Glondu2011-02-26
* Merge sid branchGravatar Stephane Glondu2011-02-26
|\
| * Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-2Gravatar Stephane Glondu2011-02-21
* | Prepare upload to experimentaldebian/8.3.pl1+dfsg-1Gravatar Stephane Glondu2010-12-24
* | New upstream release, update changelogGravatar Stephane Glondu2010-12-24
* | NOT RELEASED YETGravatar Stephane Glondu2010-10-19
* | Update changelog and prepare upload to experimentaldebian/8.3+dfsg-1Gravatar Stephane Glondu2010-10-16
* | New upstream releaseGravatar Stephane Glondu2010-10-14
* | Prepare upload to experimentaldebian/8.3.rc1+dfsg-1Gravatar Stephane Glondu2010-08-10
* | New upstream release candidateGravatar Stephane Glondu2010-08-10
* | Update changelog and prepare upload to experimentaldebian/8.3.beta0+13323-1Gravatar Stephane Glondu2010-07-24
* | New upstream snapshotGravatar Stephane Glondu2010-07-24
* | Update changelog and prepare upload to experimentaldebian/8.3.beta0+13298-1Gravatar Stephane Glondu2010-07-21
* | New upstream snapshotGravatar Stephane Glondu2010-07-21
|/
* Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-1Gravatar Stephane Glondu2010-07-02
* New upstream releaseGravatar 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
* 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
* 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
* 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
* Updated watch file.Gravatar Samuel Mimram2009-04-06
* Prepare upload to unstableGravatar 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
* Update changelogGravatar Stephane Glondu2009-02-20
* 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
* New Upstream VersionGravatar Stephane Glondu2009-02-19
* Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3Gravatar Stephane Glondu2009-02-08
* Add more versioned dependencies to please builddsdebian/8.2.rc2+dfsg-2Gravatar Stephane Glondu2009-02-08
* Add NEWS and prepare uploadGravatar Stephane Glondu2009-02-02
* Update changelogGravatar Stephane Glondu2009-02-01