Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Disable ssrmatching | Benjamin Barenblat | 2019-01-03 |
| | | | | | | | ssrmatching has two files licensed under CeCILL-B, which I believe is a nonfree license. d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 removed those files from the source package; this commit disables the affected plugin in the build system. | ||
* | Refresh patches | Benjamin Barenblat | 2019-01-03 |
| | | | | | Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since upstream has increased the timeout. | ||
* | Install upstream’s CHANGES | Benjamin Barenblat | 2019-01-03 |
| | |||
* | debian/copyright: Audit and update | Benjamin Barenblat | 2019-01-03 |
| | |||
* | debian/control: Update build dependencies | Benjamin Barenblat | 2019-01-03 |
| | | | | | | | https://github.com/coq/coq/commit/6b4a57051a470436b50d53e7395ec44b52e2dc7e requires rsync to collect test logs. This only really makes a difference in Coq’s CI environment, but it’s simpler to just let it do its thing than it is to patch the behavior out. | ||
* | Stop distributing CoqIDE | Benjamin Barenblat | 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 | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Update standards version | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Update to Debhelper 10 | Benjamin Barenblat | 2018-12-29 |
| | |||
* | Begin packaging 8.8.2 | Benjamin Barenblat | 2018-12-29 |
| | |||
* | Update and firm up excluded files list | Benjamin Barenblat | 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 | Benjamin Barenblat | 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 | Stephane Glondu | 2017-09-26 |
| | |||
* | Update Vcs-* | Stephane Glondu | 2017-09-26 |
| | |||
* | Remove menu files | Stephane Glondu | 2017-09-26 |
| | |||
* | Remove unused Lintian overrides | Stephane Glondu | 2017-09-26 |
| | |||
* | fix ocamlfind package namedebian/8.6-4 | Enrico Tassi | 2016-12-30 |
| | |||
* | depend on ocamlfind | Enrico Tassi | 2016-12-29 |
| | |||
* | fix FTBFS on mipsdebian/8.6-3 | Enrico Tassi | 2016-12-29 |
| | |||
* | fix FTBFS disabling some testsdebian/8.6-2 | Enrico Tassi | 2016-12-28 |
| | |||
* | Coq 8.6debian/8.6-1 | Enrico Tassi | 2016-12-28 |
| | |||
* | fix FTBFS on slow architectures by disabling 4429debian/8.5-2 | Enrico Tassi | 2016-01-28 |
| | |||
* | 8.5 | Enrico Tassi | 2016-01-26 |
| | |||
* | fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2 | Enrico Tassi | 2015-11-14 |
| | |||
* | set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1 | Enrico Tassi | 2015-11-14 |
| | |||
* | beta3 | Enrico Tassi | 2015-11-13 |
| | |||
* | enable make test-suite at build timedebian/8.5_beta2+dfsg-2 | Enrico Tassi | 2015-07-20 |
| | |||
* | disable native compiler on non-mainstream arches | Enrico Tassi | 2015-07-20 |
| | |||
* | fix build depsdebian/8.5_beta2+dfsg-1 | Enrico Tassi | 2015-07-16 |
| | |||
* | more overrides | Enrico Tassi | 2015-07-15 |
| | |||
* | beta2 | Enrico Tassi | 2015-07-15 |
| | |||
* | Remove unneeded comment | Enrico Tassi | 2015-07-15 |
| | |||
* | update changelog | Enrico Tassi | 2015-07-15 |
| | |||
* | override hardening-no-relro for native compute cmxs files | Enrico Tassi | 2015-07-15 |
| | |||
* | .cma files are not executables | Enrico Tassi | 2015-07-15 |
| | |||
* | make bin-nmuable | Enrico Tassi | 2015-07-15 |
| | |||
* | Packaging 8.5beta1 | Enrico Tassi | 2015-07-14 |
| | |||
* | Prepare upload to unstabledebian/8.4pl4dfsg-1 | Stephane Glondu | 2014-07-27 |
| | |||
* | Update changelog | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump debhelper compat level to 9 | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump Standards-Version to 3.9.5 | Stephane Glondu | 2014-07-27 |
| | |||
* | Switch debian/copyright to Format 1.0 | Stephane Glondu | 2014-07-27 |
| | |||
* | Bump ABI | Stephane Glondu | 2014-07-27 |
| | |||
* | New upstream release | Stephane Glondu | 2014-07-27 |
| | |||
* | Update changelog and prepare upload to unstabledebian/8.4pl3dfsg-1 | Stephane Glondu | 2014-01-19 |
| | |||
* | Update README.Debian (Closes: #680248) | Stephane Glondu | 2014-01-19 |
| | |||
* | Update ABI | Stephane Glondu | 2014-01-19 |
| | |||
* | New upstream release | Stephane Glondu | 2014-01-19 |
| | |||
* | Prepare upload to unstabledebian/8.4pl2dfsg-4 | Stephane Glondu | 2013-12-03 |
| | |||
* | Update changelog and prepare upload to experimentaldebian/8.4pl2dfsg-3 | Stephane Glondu | 2013-11-22 |
| |