Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Stop distributing CoqIDE | 2019-01-03 | |
| | | | | | | | | | CoqIDE currently requires gtksourceview2, which has been removed from Debian (see https://bugs.debian.org/885677). Upstream has an active pull request to update to gtksourceview3 (https://github.com/coq/coq/pull/9279), and it looks like Debian may ship gtksourceview2 with buster anyway, so this is likely to be a temporary change. | ||
* | debian/control: Update Git-* URLs for Salsa migration | 2019-01-03 | |
| | |||
* | Update standards version | 2019-01-03 | |
| | |||
* | Update to Debhelper 10 | 2018-12-29 | |
| | |||
* | Begin packaging 8.8.2 | 2018-12-29 | |
| | |||
* | Updated version 8.8.2 from 'upstream/8.8.2' | 2018-12-29 | |
|\ | | | | | with Debian dir a16bcf46abacaf1a684eda04f02555c984bf540d | ||
| * | Imported Upstream version 8.8.2upstream/8.8.2 | 2018-12-29 | |
| | | |||
* | | Update and firm up excluded files list | 2018-12-29 | |
| | | | | | | | | | | | | | | | | | | Coq has introduced many new files in the last couple of years, including several that are not DFSG-free. Rebuild and document the list of files to be excluded from git-buildpackage imports. Additionally, delete the purify_tarball script, as it’s been replaced with the import filter. | ||
* | | Update debian/watch for GitHub switch | 2018-12-24 | |
| | | | | | | | | | | | | | | | | The Coq developers now distribute Coq through GitHub rather than via a direct download from INRIA. Update debian/watch to point to GitHub. Tweak the version regex slightly to account for Coq using capital V in their version numbers (e.g., V8.7.2). Also tweak the regex to ignore any release with a + in it; those releases are preproduction releases. | ||
* | | Update changelog and prepare upload to unstabledebian/8.6-5 | 2017-09-26 | |
| | | |||
* | | Update Vcs-* | 2017-09-26 | |
| | | |||
* | | Remove menu files | 2017-09-26 | |
| | | |||
* | | Remove unused Lintian overrides | 2017-09-26 | |
| | | |||
* | | fix ocamlfind package namedebian/8.6-4 | 2016-12-30 | |
| | | |||
* | | depend on ocamlfind | 2016-12-29 | |
| | | |||
* | | fix FTBFS on mipsdebian/8.6-3 | 2016-12-29 | |
| | | |||
* | | fix FTBFS disabling some testsdebian/8.6-2 | 2016-12-28 | |
| | | |||
* | | Coq 8.6debian/8.6-1 | 2016-12-28 | |
| | | |||
* | | Imported Upstream version 8.6 | 2016-12-27 | |
| | | |||
| * | Imported Upstream version 8.6upstream/8.6 | 2016-12-27 | |
| | | |||
* | | fix FTBFS on slow architectures by disabling 4429debian/8.5-2 | 2016-01-28 | |
| | | |||
* | | 8.5 | 2016-01-26 | |
| | | |||
* | | 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 | |
| | |