summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* | | | | proofgeneral-coq has been dropped in favour of proofgeneralGravatar Stephane Glondu2012-03-27
* | | | | Call dh_install with --fail-missingGravatar Stephane Glondu2012-03-27
* | | | | New upstream releaseGravatar Stephane Glondu2012-03-27
* | | | | Merge tag 'upstream/8.3.pl4+dfsg'Gravatar Stephane Glondu2012-03-27
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | Remove non-DFSG contentsupstream/8.3.pl4+dfsgGravatar Stephane Glondu2012-03-27
| |\ \ \ \
| | * | | | Imported Upstream version 8.3.pl4upstream/8.3.pl4Gravatar Stephane Glondu2012-03-27
* | | | | | Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2Gravatar Stephane Glondu2012-03-04
| | | * | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3Gravatar Stephane Glondu2012-01-15
| | | * | | Disable a test that uses too much memoryGravatar Stephane Glondu2012-01-15
| | | * | | proofgeneral-coq has been dropped in favour of proofgeneralGravatar Stephane Glondu2012-01-14
| | | * | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2Gravatar Stephane Glondu2012-01-14
| | | * | | Fix an ordering issue that was causing a test to fail in bytecodeGravatar Stephane Glondu2012-01-14
| | | * | | Call dh_install with --fail-missingGravatar Stephane Glondu2012-01-14
| | | * | | Fix typo (shame...)Gravatar Stephane Glondu2012-01-13
| | | * | | 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
| | | * | | Merge commit 'upstream/8.4_beta+dfsg' into experimental/masterGravatar Stephane Glondu2012-01-12
| |_|/| | | |/| | |/ /
| | | * / Remove non-DFSG contentsupstream/8.4_beta+dfsgGravatar Stephane Glondu2012-01-12
| | |/| | | |/| |/
| | | * Imported Upstream version 8.4~betaupstream/8.4_betaGravatar 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
* | | Merge commit 'upstream/8.3.pl3+dfsg'Gravatar Stephane Glondu2011-12-25
|\| |
| * | Remove non-DFSG contentsupstream/8.3.pl3+dfsgGravatar Stephane Glondu2011-12-25
| |\ \ | | |/ | |/|
| * | Imported Upstream version 8.3.pl3upstream/8.3.pl3Gravatar 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
* | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 08:30:00 +0000