Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge branch 'experimental/master' | 2013-05-08 | |
|\ | |||
| * | Update ABI | 2013-05-08 | |
| | | |||
| * | New upstream release | 2013-05-08 | |
| | | |||
| * | Merge tag 'upstream/8.4pl2dfsg' into experimental/master | 2013-05-08 | |
| |\ | | | | | | | | | | Upstream version 8.4pl2dfsg | ||
| | * | Imported Upstream version 8.4pl2dfsgupstream/8.4pl2dfsg | 2013-05-08 | |
| | | | |||
| * | | New debian/watch file by Bart Martens | 2013-05-08 | |
| | | | |||
| * | | Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1 | 2012-12-29 | |
| | | | |||
| * | | Add ocaml-findlib to Build-Depends... | 2012-12-29 | |
| | | | | | | | | | | | | ...so that detection of lablgtk2 works | ||
| * | | Update ABI | 2012-12-29 | |
| | | | |||
| * | | Refresh patches | 2012-12-29 | |
| | | | |||
| * | | New upstream release | 2012-12-29 | |
| | | | |||
| * | | Merge tag 'upstream/8.4pl1dfsg' into experimental/master | 2012-12-29 | |
| |\| | | | | | | | | | | Upstream version 8.4pl1dfsg | ||
| | * | Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsg | 2012-12-29 | |
| | | | |||
| * | | Update changelog and prepare upload to experimentaldebian/8.4dfsg-2 | 2012-09-22 | |
| | | | |||
| * | | Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output | 2012-09-22 | |
| | | | |||
| * | | Prepare upload to experimentaldebian/8.4dfsg-1 | 2012-08-20 | |
| | | | |||
| * | | Update ABI | 2012-08-20 | |
| | | | |||
| * | | New upstream release | 2012-08-20 | |
| | | | |||
| * | | Merge tag 'upstream/8.4dfsg' into experimental/master | 2012-08-20 | |
| |\| | | | | | | | | | | Upstream version 8.4dfsg | ||
| | * | Imported Upstream version 8.4dfsgupstream/8.4dfsg | 2012-08-20 | |
| | | | |||
| * | | Use experimental branches | 2012-08-20 | |
| | | | |||
| * | | Use filter-pristine-tar and change versioning scheme | 2012-08-20 | |
| | | | |||
* | | | Recompile with camlp5 6.06 (no changes) | 2012-06-06 | |
| | | | |||
| * | | Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1 | 2012-06-05 | |
| | | | |||
| * | | Dp plugin has been dropped | 2012-06-05 | |
| | | | |||
| * | | Update ABI | 2012-06-04 | |
| | | | |||
| * | | Refresh patches | 2012-06-04 | |
| | | | |||
| * | | New upstream beta release | 2012-06-04 | |
| | | | |||
| * | | Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master | 2012-06-04 | |
| |\| | | | | | | | | | | Upstream version 8.4~gamma0+really8.4beta2+dfsg | ||
| | * | Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsg | 2012-06-04 | |
| | |\ | |||
| | | * | Imported Upstream version 8.4~gamma0+really8.4beta2upstream/8.4_gamma0+really8.4beta2 | 2012-06-04 | |
| | | | | |||
| * | | | Recompile with camlp5 6.05 (no changes)debian/8.4_beta+dfsg-4 | 2012-04-06 | |
| | | | | |||
* | | | | Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1 | 2012-03-27 | |
| | | | | |||
* | | | | Bump Standards-Version to 3.9.3 | 2012-03-27 | |
| | | | | |||
* | | | | proofgeneral-coq has been dropped in favour of proofgeneral | 2012-03-27 | |
| | | | | |||
* | | | | Call dh_install with --fail-missing | 2012-03-27 | |
| | | | | |||
* | | | | New upstream release | 2012-03-27 | |
| | | | | |||
* | | | | Merge tag 'upstream/8.3.pl4+dfsg' | 2012-03-27 | |
|\ \ \ \ | | | | | | | | | | | | | | | | Upstream version 8.3.pl4+dfsg | ||
| * \ \ \ | Remove non-DFSG contentsupstream/8.3.pl4+dfsg | 2012-03-27 | |
| |\ \ \ \ | |||
| | * | | | | Imported Upstream version 8.3.pl4upstream/8.3.pl4 | 2012-03-27 | |
| | | | | | | |||
* | | | | | | Recompile with camlp5 6.04 (no changes)debian/8.3.pl3+dfsg-2 | 2012-03-04 | |
| | | | | | | |||
| | | * | | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-3 | 2012-01-15 | |
| | | | | | | |||
| | | * | | | Disable a test that uses too much memory | 2012-01-15 | |
| | | | | | | |||
| | | * | | | proofgeneral-coq has been dropped in favour of proofgeneral | 2012-01-14 | |
| | | | | | | |||
| | | * | | | Update changelog and prepare upload to experimentaldebian/8.4_beta+dfsg-2 | 2012-01-14 | |
| | | | | | | |||
| | | * | | | Fix an ordering issue that was causing a test to fail in bytecode | 2012-01-14 | |
| | | | | | | |||
| | | * | | | Call dh_install with --fail-missing | 2012-01-14 | |
| | | | | | | |||
| | | * | | | Fix typo (shame...) | 2012-01-13 | |
| | | | | | | |||
| | | * | | | Prepare upload to experimentaldebian/8.4_beta+dfsg-1 | 2012-01-12 | |
| | | | | | | |||
| | | * | | | Miscellaneous updates | 2012-01-12 | |
| | | | | | |