Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Recompile with OCaml 4.05.0debian/8.6.1-2 | Stephane Glondu | 2017-10-09 |
* | 8.6.1 | Enrico Tassi | 2016-12-28 |
* | Merge tag 'upstream/8.6.1' | Enrico Tassi | 2016-12-28 |
|\ | |||
| * | New upstream version 8.6.1 | Enrico Tassi | 2016-12-28 |
* | | aac for Coq 8.6 | Enrico Tassi | 2016-12-28 |
* | | Merge tag 'upstream/8.6' | Enrico Tassi | 2016-12-27 |
|\| | |||
| * | New upstream version 8.6 | Enrico Tassi | 2016-12-27 |
* | | Upload to unstabledebian/8.5.1-1 | Stephane Glondu | 2016-08-01 |
* | | Update changelog | Nicolas Braud-Santoni | 2016-07-31 |
* | | Fail on non-installed files, and install .v files | Nicolas Braud-Santoni | 2016-07-31 |
* | | Update 0001-Fix-typos.patch | Nicolas Braud-Santoni | 2016-07-25 |
* | | debian/changelog: Close bug #813459 | Nicolas Braud-Santoni | 2016-07-23 |
* | | Prepare upload | Nicolas Braud-Santoni | 2016-07-23 |
* | | Bump Standards-Version to 3.9.8 | Nicolas Braud-Santoni | 2016-07-23 |
* | | Fix typos | Nicolas Braud-Santoni | 2016-07-23 |
* | | Fix installed docs | Nicolas Braud-Santoni | 2016-07-23 |
* | | debian/rules: Do not fail on non-installed files | Nicolas Braud-Santoni | 2016-07-23 |
* | | Merge tag 'upstream/8.5.1' | Nicolas Braud-Santoni | 2016-07-23 |
|\| | |||
| * | Imported Upstream version 8.5.1 | Nicolas Braud-Santoni | 2016-07-23 |
* | | New upstream URL & watch file | Nicolas Braud-Santoni | 2016-07-23 |
* | | Use HTTPS for Vcs-* links | Nicolas Braud-Santoni | 2016-07-23 |
* | | Recompile with OCaml 4.02.3debian/0.4-5 | Stephane Glondu | 2015-10-14 |
* | | Update changelog and prepare upload to unstabledebian/0.4-4 | Stephane Glondu | 2015-08-10 |
* | | Bump debhelper compat level to 9 | Stephane Glondu | 2015-08-10 |
* | | Bump Standards-Version to 3.9.6 | Stephane Glondu | 2015-08-10 |
* | | New Homepage, drop debian/watch | Stephane Glondu | 2015-08-10 |
* | | Recompile with coq 8.4pl4debian/0.4-3 | Stephane Glondu | 2014-07-30 |
* | | Update changelog and prepare upload to unstabledebian/0.4-2 | Stephane Glondu | 2014-01-20 |
* | | Update Vcs-* | Stephane Glondu | 2014-01-20 |
* | | Bump Standards-Version to 3.9.5 (no changes) | Stephane Glondu | 2014-01-20 |
* | | Prepare upload to unstabledebian/0.4-1 | Stephane Glondu | 2013-12-05 |
* | | New upstream release | Stephane Glondu | 2013-12-05 |
* | | Merge tag 'upstream/0.4' | Stephane Glondu | 2013-12-05 |
|\| | |||
| * | Imported Upstream version 0.4upstream/0.4 | Stephane Glondu | 2013-12-05 |
* | | Update changelog and prepare upload to unstabledebian/0.3.pl1-1 | Stephane Glondu | 2013-05-09 |
* | | Bump Standards-Version to 3.9.4 | Stephane Glondu | 2013-05-09 |
* | | Use format version 1.0 in debian/copyright | Stephane Glondu | 2013-05-09 |
* | | New upstream release | Stephane Glondu | 2013-05-09 |
* | | Merge tag 'upstream/0.3.pl1' | Stephane Glondu | 2013-05-09 |
|\| | |||
| * | Imported Upstream version 0.3.pl1upstream/0.3.pl1 | Stephane Glondu | 2013-05-09 |
* | | Update changelog and prepare upload to experimentaldebian/0.3-2 | Stephane Glondu | 2012-09-22 |
* | | This version requires a bugfix in Coq | Stephane Glondu | 2012-09-22 |
* | | Fix FTBFS without natdynlink | Stephane Glondu | 2012-09-22 |
* | | Prepare upload to experimentaldebian/0.3-1 | Stephane Glondu | 2012-09-21 |
* | | Update build system | Stephane Glondu | 2012-09-21 |
* | | Bump Coq version | Stephane Glondu | 2012-09-21 |
* | | New upstream release | Stephane Glondu | 2012-09-20 |
* | | Merge tag 'upstream/0.3' | Stephane Glondu | 2012-09-20 |
|\| | |||
| * | Imported Upstream version 0.3upstream/0.3 | Stephane Glondu | 2012-09-20 |
* | | Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7 | Stephane Glondu | 2012-06-09 |