Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge tag 'upstream/8.5' | 2016-01-26 | |
|\ | | | | | | | Upstream version 8.5 | ||
| * | Imported Upstream version 8.5upstream/8.5 | 2016-01-26 | |
| | | |||
* | | fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2 | 2015-11-14 | |
| | | |||
* | | set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1 | 2015-11-14 | |
| | | |||
* | | beta3 | 2015-11-13 | |
| | | |||
* | | Imported Upstream version 8.5~beta3+dfsg | 2015-11-13 | |
|\| | |||
| * | Imported Upstream version 8.5~beta3+dfsgupstream/8.5_beta3+dfsg | 2015-11-13 | |
| | | |||
| * | Imported Upstream version 8.5~beta3+dfsg | 2015-11-13 | |
| | | |||
* | | enable make test-suite at build timedebian/8.5_beta2+dfsg-2 | 2015-07-20 | |
| | | |||
* | | disable native compiler on non-mainstream arches | 2015-07-20 | |
| | | |||
* | | fix build depsdebian/8.5_beta2+dfsg-1 | 2015-07-16 | |
| | | |||
* | | more overrides | 2015-07-15 | |
| | | |||
* | | beta2 | 2015-07-15 | |
| | | |||
* | | Remove unneeded comment | 2015-07-15 | |
| | | |||
* | | Merge tag 'upstream/8.5_beta2+dfsg' into test | 2015-07-15 | |
|\| | | | | | | | Upstream version 8.5~beta2+dfsg | ||
| * | Imported Upstream version 8.5~beta2+dfsgupstream/8.5_beta2+dfsg | 2015-07-15 | |
| | | |||
* | | update changelog | 2015-07-15 | |
| | | |||
* | | override hardening-no-relro for native compute cmxs files | 2015-07-15 | |
| | | |||
* | | .cma files are not executables | 2015-07-15 | |
| | | |||
* | | make bin-nmuable | 2015-07-15 | |
| | | |||
* | | Packaging 8.5beta1 | 2015-07-14 | |
| | | |||
* | | Merge tag 'upstream/8.5_beta1+dfsg' | 2015-01-25 | |
|\| | | | | | | | Upstream version 8.5~beta1+dfsg | ||
| * | Imported Upstream version 8.5~beta1+dfsgupstream/8.5_beta1+dfsg | 2015-01-25 | |
| | | |||
| * | Imported Upstream version 8.5~beta1+dfsg | 2015-01-25 | |
| | | |||
* | | Prepare upload to unstabledebian/8.4pl4dfsg-1 | 2014-07-27 | |
| | | |||
* | | Update changelog | 2014-07-27 | |
| | | |||
* | | Bump debhelper compat level to 9 | 2014-07-27 | |
| | | |||
* | | Bump Standards-Version to 3.9.5 | 2014-07-27 | |
| | | |||
* | | Switch debian/copyright to Format 1.0 | 2014-07-27 | |
| | | |||
* | | Bump ABI | 2014-07-27 | |
| | | |||
* | | New upstream release | 2014-07-27 | |
| | | |||
* | | Merge tag 'upstream/8.4pl4dfsg' | 2014-07-27 | |
|\| | | | | | | | Upstream version 8.4pl4dfsg | ||
| * | Imported Upstream version 8.4pl4dfsgupstream/8.4pl4dfsg | 2014-07-27 | |
| | | |||
* | | Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1 | 2014-01-19 | |
| | | |||
* | | Update README.Debian (Closes: #680248) | 2014-01-19 | |
| | | |||
* | | Update ABI | 2014-01-19 | |
| | | |||
* | | New upstream release | 2014-01-19 | |
| | | |||
* | | Merge tag 'upstream/8.4pl3dfsg' | 2014-01-19 | |
|\| | | | | | | | Upstream version 8.4pl3dfsg | ||
| * | Imported Upstream version 8.4pl3dfsgupstream/8.4pl3dfsg | 2014-01-19 | |
| | | |||
* | | Prepare upload to unstabledebian/8.4pl2dfsg-4 | 2013-12-03 | |
| | | |||
* | | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3 | 2013-11-22 | |
| | | |||
* | | Disable micromega tests on Hurd | 2013-11-22 | |
| | | |||
* | | Refresh patches | 2013-11-22 | |
| | | |||
* | | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-2 | 2013-07-26 | |
| | | |||
* | | Update Vcs-* | 2013-07-26 | |
| | | |||
* | | Compile with OCaml >= 4 | 2013-07-26 | |
| | | |||
* | | Prepare upload to unstabledebian/8.4pl2dfsg-1 | 2013-05-08 | |
| | | |||
* | | Merge branch 'upstream' | 2013-05-08 | |
|\| | |||
| * | Merge branch 'experimental/upstream' into upstream | 2013-05-08 | |
| |\ | |||
* | \ | Merge branch 'experimental/master' | 2013-05-08 | |
|\ \ \ |