Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Package coq_makefile’s new Python dependency | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Correct spelling errors | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Don't run testsuite under nocheck build profile | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Update libcoq-ocaml{,-dev} install list | Benjamin Barenblat | 2019-01-03 |
| | |||
* | Don’t try to install coqmktop | Benjamin Barenblat | 2019-01-03 |
| | | | | | Upstream deprecated it in favor of ocamlfind in https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f. | ||
* | Update coqdoc.sty installation path | Benjamin Barenblat | 2019-01-03 |
| | | | | | https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de corrected the installation path in upstream’s build process. | ||
* | Explicitly build and install OCaml bytecode files | Benjamin Barenblat | 2019-01-03 |
| | | | | | | | | | | | Bytecode is no longer built by default, but it’s still essential on Debian platforms where OCaml has no native compiler. Run `make byte` and `make install-byte` to install bytecode. In the future, we may want to separate bytecode binaries and libraries into their own packages so users on platforms with native support don’t have to spend disk space on bytecode. For now, though, continue bundling native code and bytecode into the same package. | ||
* | Disable tests which require `-coqlib` to be set | Benjamin Barenblat | 2019-01-03 |
| | | | | | | A number of tests (mostly for coq_makefile) assume that Coq is installed when the test runs. This isn't true in an sbuild environment, though, so disable those tests. | ||
* | debian/rules: Stop configuring with `-debug` | Benjamin Barenblat | 2019-01-03 |
| | | | | | | https://github.com/coq/coq/commit/bdc74cd1b945b69f81264cb6df8eb793c0c6817f enabled debugging by default, and the flag’s since been deleted. Stop passing it. | ||
* | debian/rules: Bump Coq version | Benjamin Barenblat | 2019-01-03 |
| | |||
* | 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 |
| | |||
* | Updated version 8.8.2 from 'upstream/8.8.2' | Benjamin Barenblat | 2018-12-29 |
|\ | | | | | with Debian dir a16bcf46abacaf1a684eda04f02555c984bf540d | ||
| * | Imported Upstream version 8.8.2upstream/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 |
| | | |||
* | | Imported Upstream version 8.6 | Enrico Tassi | 2016-12-27 |
| | | |||
| * | Imported Upstream version 8.6upstream/8.6 | Enrico Tassi | 2016-12-27 |
| | | |||
* | | fix FTBFS on slow architectures by disabling 4429debian/8.5-2 | Enrico Tassi | 2016-01-28 |
| | | |||
* | | 8.5 | Enrico Tassi | 2016-01-26 |
| | | |||
* | | Merge tag 'upstream/8.5' | Enrico Tassi | 2016-01-26 |
|\| | | | | | | | Upstream version 8.5 | ||
| * | Imported Upstream version 8.5upstream/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 |
| | | |||
* | | Imported Upstream version 8.5~beta3+dfsg | Enrico Tassi | 2015-11-13 |
|\| | |||
| * | Imported Upstream version 8.5~beta3+dfsgupstream/8.5_beta3+dfsg | Enrico Tassi | 2015-11-13 |
| | | |||
| * | Imported Upstream version 8.5~beta3+dfsg | 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 |
| | |