summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* New upstream releaseGravatar Stephane Glondu2011-04-19
* Promote 8.3 branch to master branchGravatar 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
| * Add Fix-build-with-camlp5-6.02.1.patchGravatar Stephane Glondu2011-02-21
| * Refresh patchesGravatar 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
* | Port to camlp5 6.02.1Gravatar Stephane Glondu2010-12-06
* | Add 0003-Support-for-camlp5-6.02.0.patchGravatar Stephane Glondu2010-11-17
* | Add debian/source/local-optionsGravatar Stephane Glondu2010-10-31
* | debian/rules: make "build" a phony targetGravatar Stephane Glondu2010-10-19
* | Add 0002-Fix-mixed-implicit-and-normal-rules.patchGravatar Stephane Glondu2010-10-19
* | Run test-suite in override_dh_auto_test, skip coqchkGravatar Stephane Glondu2010-10-19
* | NOT RELEASED YETGravatar Stephane Glondu2010-10-19
* | Update changelog and prepare upload to experimentaldebian/8.3+dfsg-1Gravatar Stephane Glondu2010-10-16
* | Bump Standards-Version to 3.9.1 (no changes)Gravatar Stephane Glondu2010-10-16
* | Add patch to fix test-suiteGravatar Stephane Glondu2010-10-15
* | 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
* | Add 0001-Fix-installation-of-emacs-files.patchGravatar Stephane Glondu2010-07-24
* | Update copyright fileGravatar 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
* | Refresh copyright fileGravatar Stephane Glondu2010-07-21
* | Install plugins in (new) binary package libcoq-ocamlGravatar Stephane Glondu2010-07-21
* | Update packaging according to upstream changesGravatar Stephane Glondu2010-07-21
* | New branchesGravatar 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
* Add 0002-Remove-dependency-to-Unix-from-module-Profile.patchGravatar Stephane Glondu2010-07-02
* Fix a few warningsGravatar Stephane Glondu2010-07-02
* Remove Stefano and Remi from UploadersGravatar Stephane Glondu2010-07-01
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 00:34:45 +0000