Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Release for unstableHEADmaster | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Fix install on platforms without ocamlopt | Benjamin Barenblat | 2019-02-17 |
| | | | | | | | | I was a bit overzealous in d10b86dc97e91ceb15134cc190d6f647a7c3d640, changing `make install` to `make install-byte` on bytecode platforms. Turns out both `make install` and `make install-byte` install important files on both native and bytecode platforms, so unconditionally call both. | ||
* | Fix build on platforms without ocamlopt | Benjamin Barenblat | 2019-02-17 |
| | | | | | | coq_makefile generates Makefiles that reference ocamlopt, even on platforms without ocamlopt. Export `OPT=-byte` on such platforms to prevent the generated Makefile from trying to invoke ocamlopt. | ||
* | Correct copyright date for my contributions | Benjamin Barenblat | 2019-02-17 |
| | | | | | | I accidentally said “copyright 2018” in 7ecbed522b4b4a9829eb9bd7b3f36db53788a77c, but I’ve only ever touched this project in 2019. | ||
* | Update Lintian overrides | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Ensure .cmi files are available when running ocamldoc | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Don’t install .cm(a|x|xa) files | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update path to .mli files | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Ensure both bytecode and native code builds on native-code platforms | Benjamin Barenblat | 2019-02-17 |
| | | | | | coq_makefile from Coq 8.9 does not automatically build bytecode when native code is available. Forcibly build both on native-code platforms. | ||
* | Perform clean by calling `make clean`, not `make distclean` | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Make build verbose | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update Standards-Version | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update upstream URL in copyright file | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update docs list | Benjamin Barenblat | 2019-02-17 |
| | | | | Upstream has switched to Markdown for their README. | ||
* | Update Vcs-* URLs for Salsa migration | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update build dependencies | Benjamin Barenblat | 2019-02-17 |
| | |||
* | Update to debhelper 10 | Benjamin Barenblat | 2019-02-13 |
| | |||
* | Begin packaging v8.9 snapshot | Benjamin Barenblat | 2019-02-13 |
| | |||
* | Prepare to import v8.9 snapshot | Benjamin Barenblat | 2019-02-13 |
| | | | | | Upstream has started including a .travis.yml, so filter that out of the upstream tarball to prevent Salsa from trying to run upstream’s CI. | ||
* | Recompile with OCaml 4.05.0debian/8.6.1-2 | Stephane Glondu | 2017-10-09 |
| | |||
* | 8.6.1 | Enrico Tassi | 2016-12-28 |
| | |||
* | aac for Coq 8.6 | Enrico Tassi | 2016-12-28 |
| | |||
* | 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 |
| | | | | Per Stéphane Glondu's comments <579DC270.2040103@debian.org> | ||
* | Update 0001-Fix-typos.patch | Nicolas Braud-Santoni | 2016-07-25 |
| | | | | The change was merged upstream (and an error was fixed) | ||
* | 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 |
| | | | | No change required | ||
* | 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 |
| | | | | We do not install, on purpose, .glob and .v files. | ||
* | 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 |
| | |||
* | 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 |
| | |||
* | Update changelog and prepare upload to experimentaldebian/0.3-2 | Stephane Glondu | 2012-09-22 |
| |