summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2Gravatar Stephane Glondu2013-07-26
|
* Update Vcs-*Gravatar Stephane Glondu2013-07-26
|
* Compile with OCaml >= 4Gravatar Stephane Glondu2013-07-26
|
* Prepare upload to unstabledebian/8.4pl2dfsg-1Gravatar Stephane Glondu2013-05-08
|
* Merge branch 'upstream'Gravatar Stephane Glondu2013-05-08
|\
| * Merge branch 'experimental/upstream' into upstreamGravatar Stephane Glondu2013-05-08
| |\
* | \ Merge branch 'experimental/master'Gravatar Stephane Glondu2013-05-08
|\ \ \
| * | | Update ABIGravatar Stephane Glondu2013-05-08
| | | |
| * | | New upstream releaseGravatar Stephane Glondu2013-05-08
| | | |
| * | | Merge tag 'upstream/8.4pl2dfsg' into experimental/masterGravatar Stephane Glondu2013-05-08
| |\ \ \ | | | |/ | | |/| | | | | Upstream version 8.4pl2dfsg
| | * | Imported Upstream version 8.4pl2dfsgupstream/8.4pl2dfsgGravatar Stephane Glondu2013-05-08
| | | |
| * | | New debian/watch file by Bart MartensGravatar Stephane Glondu2013-05-08
| | | |
| * | | Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1Gravatar Stephane Glondu2012-12-29
| | | |
| * | | Add ocaml-findlib to Build-Depends...Gravatar Stephane Glondu2012-12-29
| | | | | | | | | | | | | | | | ...so that detection of lablgtk2 works
| * | | Update ABIGravatar Stephane Glondu2012-12-29
| | | |
| * | | Refresh patchesGravatar Stephane Glondu2012-12-29
| | | |
| * | | New upstream releaseGravatar Stephane Glondu2012-12-29
| | | |
| * | | Merge tag 'upstream/8.4pl1dfsg' into experimental/masterGravatar Stephane Glondu2012-12-29
| |\| | | | | | | | | | | | | | Upstream version 8.4pl1dfsg
| | * | Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsgGravatar Stephane Glondu2012-12-29
| | | |
| * | | Update changelog and prepare upload to experimentaldebian/8.4dfsg-2Gravatar Stephane Glondu2012-09-22
| | | |
| * | | Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile outputGravatar Stephane Glondu2012-09-22
| | | |
| * | | Prepare upload to experimentaldebian/8.4dfsg-1Gravatar Stephane Glondu2012-08-20
| | | |
| * | | Update ABIGravatar Stephane Glondu2012-08-20
| | | |
| * | | New upstream releaseGravatar Stephane Glondu2012-08-20
| | | |
| * | | Merge tag 'upstream/8.4dfsg' into experimental/masterGravatar Stephane Glondu2012-08-20
| |\| | | | | | | | | | | | | | Upstream version 8.4dfsg
| | * | Imported Upstream version 8.4dfsgupstream/8.4dfsgGravatar Stephane Glondu2012-08-20
| | | |
| * | | Use experimental branchesGravatar Stephane Glondu2012-08-20
| | | |
| * | | Use filter-pristine-tar and change versioning schemeGravatar Stephane Glondu2012-08-20
| | | |
* | | | Recompile with camlp5 6.06 (no changes)Gravatar Stephane Glondu2012-06-06
| | | |
| * | | Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1Gravatar Stephane Glondu2012-06-05
| | | |
| * | | Dp plugin has been droppedGravatar Stephane Glondu2012-06-05
| | | |
| * | | Update ABIGravatar Stephane Glondu2012-06-04
| | | |
| * | | Refresh patchesGravatar Stephane Glondu2012-06-04
| | | |
| * | | New upstream beta releaseGravatar Stephane Glondu2012-06-04
| | | |
| * | | Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/masterGravatar Stephane Glondu2012-06-04
| |\| | | | | | | | | | | | | | Upstream version 8.4~gamma0+really8.4beta2+dfsg
| | * | Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsgGravatar Stephane Glondu2012-06-04
| | |\ \
| | | * | Imported Upstream version 8.4~gamma0+really8.4beta2upstream/8.4_gamma0+really8.4beta2Gravatar Stephane Glondu2012-06-04
| | | | |
| * | | | Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4Gravatar Stephane Glondu2012-04-06
| | | | |
* | | | | Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1Gravatar Stephane Glondu2012-03-27
| | | | |
* | | | | Bump Standards-Version to 3.9.3Gravatar Stephane Glondu2012-03-27
| | | | |
* | | | | 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
|\ \ \ \ \ | | |_|_|/ | |/| | | | | | | | Upstream version 8.3.pl4+dfsg
| * | | | 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
| | | | | |