Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Ensure .cmi files are available when running ocamldoc | 2019-02-17 | |
| | |||
* | Don’t install .cm(a|x|xa) files | 2019-02-17 | |
| | |||
* | Update path to .mli files | 2019-02-17 | |
| | |||
* | Ensure both bytecode and native code builds on native-code platforms | 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` | 2019-02-17 | |
| | |||
* | Make build verbose | 2019-02-17 | |
| | |||
* | Update Standards-Version | 2019-02-17 | |
| | |||
* | Update upstream URL in copyright file | 2019-02-17 | |
| | |||
* | Update docs list | 2019-02-17 | |
| | | | | Upstream has switched to Markdown for their README. | ||
* | Update Vcs-* URLs for Salsa migration | 2019-02-17 | |
| | |||
* | Update build dependencies | 2019-02-17 | |
| | |||
* | Update to debhelper 10 | 2019-02-13 | |
| | |||
* | Begin packaging v8.9 snapshot | 2019-02-13 | |
| | |||
* | Updated version 8.8.0+1.gbp069dc3b from 'upstream/8.8.0+1.gbp069dc3b' | 2019-02-13 | |
|\ | | | | | with Debian dir 4ca0cfbbc73543887b10ee2613b222f51702e276 | ||
| * | New upstream version 8.8.0+1.gbp069dc3bupstream/8.8.0+1.gbp069dc3bupstream | 2019-02-13 | |
| | | |||
* | | Prepare to import v8.9 snapshot | 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 | 2017-10-09 | |
| | | |||
* | | 8.6.1 | 2016-12-28 | |
| | | |||
* | | Merge tag 'upstream/8.6.1' | 2016-12-28 | |
|\| | | | | | | | Upstream version 8.6.1 | ||
| * | New upstream version 8.6.1 | 2016-12-28 | |
| | | |||
* | | aac for Coq 8.6 | 2016-12-28 | |
| | | |||
* | | Merge tag 'upstream/8.6' | 2016-12-27 | |
|\| | | | | | | | Upstream version 8.6 | ||
| * | New upstream version 8.6 | 2016-12-27 | |
| | | |||
* | | Upload to unstabledebian/8.5.1-1 | 2016-08-01 | |
| | | |||
* | | Update changelog | 2016-07-31 | |
| | | |||
* | | Fail on non-installed files, and install .v files | 2016-07-31 | |
| | | | | | | | | Per Stéphane Glondu's comments <579DC270.2040103@debian.org> | ||
* | | Update 0001-Fix-typos.patch | 2016-07-25 | |
| | | | | | | | | The change was merged upstream (and an error was fixed) | ||
* | | debian/changelog: Close bug #813459 | 2016-07-23 | |
| | | |||
* | | Prepare upload | 2016-07-23 | |
| | | |||
* | | Bump Standards-Version to 3.9.8 | 2016-07-23 | |
| | | | | | | | | No change required | ||
* | | Fix typos | 2016-07-23 | |
| | | |||
* | | Fix installed docs | 2016-07-23 | |
| | | |||
* | | debian/rules: Do not fail on non-installed files | 2016-07-23 | |
| | | | | | | | | We do not install, on purpose, .glob and .v files. | ||
* | | Merge tag 'upstream/8.5.1' | 2016-07-23 | |
|\| | | | | | | | Upstream version 8.5.1 | ||
| * | Imported Upstream version 8.5.1 | 2016-07-23 | |
| | | |||
* | | New upstream URL & watch file | 2016-07-23 | |
| | | |||
* | | Use HTTPS for Vcs-* links | 2016-07-23 | |
| | | |||
* | | Recompile with OCaml 4.02.3debian/0.4-5 | 2015-10-14 | |
| | | |||
* | | Update changelog and prepare upload to unstabledebian/0.4-4 | 2015-08-10 | |
| | | |||
* | | Bump debhelper compat level to 9 | 2015-08-10 | |
| | | |||
* | | Bump Standards-Version to 3.9.6 | 2015-08-10 | |
| | | |||
* | | New Homepage, drop debian/watch | 2015-08-10 | |
| | | |||
* | | Recompile with coq 8.4pl4debian/0.4-3 | 2014-07-30 | |
| | | |||
* | | Update changelog and prepare upload to unstabledebian/0.4-2 | 2014-01-20 | |
| | | |||
* | | Update Vcs-* | 2014-01-20 | |
| | | |||
* | | Bump Standards-Version to 3.9.5 (no changes) | 2014-01-20 | |
| | | |||
* | | Prepare upload to unstabledebian/0.4-1 | 2013-12-05 | |
| | | |||
* | | New upstream release | 2013-12-05 | |
| | | |||
* | | Merge tag 'upstream/0.4' | 2013-12-05 | |
|\| | | | | | | | Upstream version 0.4 | ||
| * | Imported Upstream version 0.4upstream/0.4 | 2013-12-05 | |
| | |