Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | Bump ABI | Stephane Glondu | 2014-07-27 | |
| | | ||||
* | | New upstream release | Stephane Glondu | 2014-07-27 | |
| | | ||||
* | | Merge tag 'upstream/8.4pl4dfsg' | Stephane Glondu | 2014-07-27 | |
|\| | | | | | | | Upstream version 8.4pl4dfsg | |||
| * | Imported Upstream version 8.4pl4dfsgupstream/8.4pl4dfsg | Stephane Glondu | 2014-07-27 | |
| | | ||||
* | | Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1 | Stephane Glondu | 2014-01-19 | |
| | | ||||
* | | Update README.Debian (Closes: #680248) | Stephane Glondu | 2014-01-19 | |
| | | ||||
* | | Update ABI | Stephane Glondu | 2014-01-19 | |
| | | ||||
* | | New upstream release | Stephane Glondu | 2014-01-19 | |
| | | ||||
* | | Merge tag 'upstream/8.4pl3dfsg' | Stephane Glondu | 2014-01-19 | |
|\| | | | | | | | Upstream version 8.4pl3dfsg | |||
| * | Imported Upstream version 8.4pl3dfsgupstream/8.4pl3dfsg | Stephane Glondu | 2014-01-19 | |
| | | ||||
* | | Prepare upload to unstabledebian/8.4pl2dfsg-4 | Stephane Glondu | 2013-12-03 | |
| | | ||||
* | | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3 | Stephane Glondu | 2013-11-22 | |
| | | ||||
* | | Disable micromega tests on Hurd | Stephane Glondu | 2013-11-22 | |
| | | ||||
* | | Refresh patches | Stephane Glondu | 2013-11-22 | |
| | | ||||
* | | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2 | Stephane Glondu | 2013-07-26 | |
| | | ||||
* | | Update Vcs-* | Stephane Glondu | 2013-07-26 | |
| | | ||||
* | | Compile with OCaml >= 4 | Stephane Glondu | 2013-07-26 | |
| | | ||||
* | | Prepare upload to unstabledebian/8.4pl2dfsg-1 | Stephane Glondu | 2013-05-08 | |
| | | ||||
* | | Merge branch 'upstream' | Stephane Glondu | 2013-05-08 | |
|\| | ||||
| * | Merge branch 'experimental/upstream' into upstream | Stephane Glondu | 2013-05-08 | |
| |\ | ||||
* | \ | Merge branch 'experimental/master' | Stephane Glondu | 2013-05-08 | |
|\ \ \ | ||||
| * | | | Update ABI | Stephane Glondu | 2013-05-08 | |
| | | | | ||||
| * | | | New upstream release | Stephane Glondu | 2013-05-08 | |
| | | | | ||||
| * | | | Merge tag 'upstream/8.4pl2dfsg' into experimental/master | Stephane Glondu | 2013-05-08 | |
| |\ \ \ | | | |/ | | |/| | | | | | Upstream version 8.4pl2dfsg | |||
| | * | | Imported Upstream version 8.4pl2dfsgupstream/8.4pl2dfsg | Stephane Glondu | 2013-05-08 | |
| | | | | ||||
| * | | | New debian/watch file by Bart Martens | Stephane Glondu | 2013-05-08 | |
| | | | | ||||
| * | | | Update changelog and prepare upload to experimentaldebian/8.4pl1dfsg-1 | Stephane Glondu | 2012-12-29 | |
| | | | | ||||
| * | | | Add ocaml-findlib to Build-Depends... | Stephane Glondu | 2012-12-29 | |
| | | | | | | | | | | | | | | | | ...so that detection of lablgtk2 works | |||
| * | | | Update ABI | Stephane Glondu | 2012-12-29 | |
| | | | | ||||
| * | | | Refresh patches | Stephane Glondu | 2012-12-29 | |
| | | | | ||||
| * | | | New upstream release | Stephane Glondu | 2012-12-29 | |
| | | | | ||||
| * | | | Merge tag 'upstream/8.4pl1dfsg' into experimental/master | Stephane Glondu | 2012-12-29 | |
| |\| | | | | | | | | | | | | | | Upstream version 8.4pl1dfsg | |||
| | * | | Imported Upstream version 8.4pl1dfsgupstream/8.4pl1dfsg | Stephane Glondu | 2012-12-29 | |
| | | | | ||||
| * | | | Update changelog and prepare upload to experimentaldebian/8.4dfsg-2 | Stephane Glondu | 2012-09-22 | |
| | | | | ||||
| * | | | Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output | Stephane Glondu | 2012-09-22 | |
| | | | | ||||
| * | | | Prepare upload to experimentaldebian/8.4dfsg-1 | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
| * | | | Update ABI | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
| * | | | New upstream release | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
| * | | | Merge tag 'upstream/8.4dfsg' into experimental/master | Stephane Glondu | 2012-08-20 | |
| |\| | | | | | | | | | | | | | | Upstream version 8.4dfsg | |||
| | * | | Imported Upstream version 8.4dfsgupstream/8.4dfsg | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
| * | | | Use experimental branches | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
| * | | | Use filter-pristine-tar and change versioning scheme | Stephane Glondu | 2012-08-20 | |
| | | | | ||||
* | | | | Recompile with camlp5 6.06 (no changes) | Stephane Glondu | 2012-06-06 | |
| | | | | ||||
| * | | | Prepare upload to experimentaldebian/8.4_gamma0+really8.4beta2+dfsg-1 | Stephane Glondu | 2012-06-05 | |
| | | | | ||||
| * | | | Dp plugin has been dropped | Stephane Glondu | 2012-06-05 | |
| | | | | ||||
| * | | | Update ABI | Stephane Glondu | 2012-06-04 | |
| | | | | ||||
| * | | | Refresh patches | Stephane Glondu | 2012-06-04 | |
| | | | | ||||
| * | | | New upstream beta release | Stephane Glondu | 2012-06-04 | |
| | | | | ||||
| * | | | Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master | Stephane Glondu | 2012-06-04 | |
| |\| | | | | | | | | | | | | | | Upstream version 8.4~gamma0+really8.4beta2+dfsg | |||
| | * | | Remove non-DFSG contentsupstream/8.4_gamma0+really8.4beta2+dfsg | Stephane Glondu | 2012-06-04 | |
| | |\ \ |