summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Prepare upload to experimentaldebian/8.4_beta+dfsg-1Gravatar Stephane Glondu2012-01-12
* Miscellaneous updatesGravatar Stephane Glondu2012-01-12
* Add distclean target to test-suite/MakefileGravatar 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
* Bump COQ_VERSIONGravatar Stephane Glondu2011-12-25
* Remove patch applied upstreamGravatar Stephane Glondu2011-12-25
* New upstream releaseGravatar Stephane Glondu2011-12-25
* Downgrade versioned build-dependency to liblablgtk2-ocaml-devGravatar Stephane Glondu2011-11-12
* Prepare upload to unstabledebian/8.3.pl2+dfsg-2Gravatar Stephane Glondu2011-11-02
* Bump Standards-Version to 3.9.2 (no changes)Gravatar Stephane Glondu2011-11-02
* Update changelog and prepare upload to unstabledebian/8.3.pl2+dfsg-1Gravatar Stephane Glondu2011-04-19
* Add patch to fix thumb2-related build error (Closes: #622882)Gravatar Stephane Glondu2011-04-19
* 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