Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | disable native compiler on non-mainstream arches | Enrico Tassi | 2015-07-20 |
| | |||
* | fix build depsdebian/8.5_beta2+dfsg-1 | Enrico Tassi | 2015-07-16 |
| | |||
* | more overrides | Enrico Tassi | 2015-07-15 |
| | |||
* | beta2 | Enrico Tassi | 2015-07-15 |
| | |||
* | Remove unneeded comment | Enrico Tassi | 2015-07-15 |
| | |||
* | update changelog | Enrico Tassi | 2015-07-15 |
| | |||
* | override hardening-no-relro for native compute cmxs files | Enrico Tassi | 2015-07-15 |
| | |||
* | .cma files are not executables | Enrico Tassi | 2015-07-15 |
| | |||
* | make bin-nmuable | Enrico Tassi | 2015-07-15 |
| | |||
* | Packaging 8.5beta1 | Enrico Tassi | 2015-07-14 |
| | |||
* | Prepare upload to unstabledebian/8.4pl4dfsg-1 | Stephane Glondu | 2014-07-27 |
| | |||
* | Update changelog | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump debhelper compat level to 9 | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump Standards-Version to 3.9.5 | Stephane Glondu | 2014-07-27 |
| | |||
* | Switch debian/copyright to Format 1.0 | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump ABI | Stephane Glondu | 2014-07-27 |
| | |||
* | New upstream release | 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 |
| | |||
* | 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 'experimental/master' | Stephane Glondu | 2013-05-08 |
|\ | |||
| * | Update ABI | Stephane Glondu | 2013-05-08 |
| | | |||
| * | New upstream release | 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 |
| | | |||
| * | 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 |
| | | |||
| * | 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 |
| | |