summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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
|
* Merge commit 'upstream/8.3.pl2+dfsg'Gravatar Stephane Glondu2011-04-19
|\
| * Remove non-DFSG contentsupstream/8.3.pl2+dfsgGravatar Stephane Glondu2011-04-19
| |\
| | * Imported Upstream version 8.3.pl2upstream/8.3.pl2Gravatar 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
| | | |
* | | | Merge commit 'upstream/8.3.pl1+dfsg' into experimental/masterGravatar Stephane Glondu2010-12-24
|\ \ \ \ | | |/ / | |/| |
| * | | Remove non-DFSG contentsupstream/8.3.pl1+dfsgGravatar Stephane Glondu2010-12-24
| |\ \ \ | | |_|/ | |/| |
| * | | Imported Upstream version 8.3pl1upstream/8.3pl1Gravatar 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
| | | |
* | | | Merge commit 'upstream/8.3+dfsg' into experimental/masterGravatar Stephane Glondu2010-10-14
|\ \ \ \ | | |/ / | |/| |
| * | | Remove non-DFSG contentsupstream/8.3+dfsgGravatar Stephane Glondu2010-10-14
| |/ /
| * | Imported Upstream version 8.3upstream/8.3Gravatar 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
| | |
* | | Merge commit 'upstream/8.3.rc1.dfsg' into experimental/masterGravatar Stephane Glondu2010-08-06
|\| |
| * | Imported Upstream version 8.3~rc1+dfsgupstream/8.3.rc1.dfsgGravatar Stephane Glondu2010-08-06
| | |
* | | 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
| | |
* | | Merge branch 'experimental/upstream' into experimental/masterGravatar Stephane Glondu2010-07-24
|\| |
| * | Imported Upstream snapshot 8.3~beta0+13323Gravatar 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
| | |
* | | Merge branch 'experimental/upstream' into experimental/masterGravatar Stephane Glondu2010-07-21
|\| | | |/ |/|
| * Imported Upstream snapshot 8.3~beta0+13298Gravatar Stephane Glondu2010-07-21
| |
* | Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-1Gravatar Stephane Glondu2010-07-02
| |