Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove execute bit from Python libraries | 2019-02-05 | |
| | |||
* | Update to new toploop packaging | 2019-02-05 | |
| | | | | | | | As of 8.9, upstream has stopped distributing plugins that turn coqtop into worker processes for CoqIDE and other things. There are now separate binaries for each coqtop use case. Ensure they’re all distributed. | ||
* | Update packaging for Emacs mode deletion | 2019-02-05 | |
| | | | | | | Proof General has been designated as the official interface to Coq, and Coq no longer ships a separate Emacs mode. Update packaging to purge references to the Emacs mode. | ||
* | Begin packaging 8.9.0 | 2019-02-05 | |
| | |||
* | Correct environment variable settings when running tests | 2019-01-17 | |
| | | | | | | $PWD doesn’t work in Makefiles – Make expands $P (to the empty string) and passes `WD` literally to the shell. Replace `$PWD` with `$(shell pwd)`. | ||
* | Package coq_makefile’s new Python dependency | 2019-01-03 | |
| | |||
* | Don't run testsuite under nocheck build profile | 2019-01-03 | |
| | |||
* | Explicitly build and install OCaml bytecode files | 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 | 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` | 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 | 2019-01-03 | |
| | |||
* | 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. | ||
* | Coq 8.6debian/8.6-1 | 2016-12-28 | |
| | |||
* | 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 | |
| | |||
* | 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 | |
| | |||
* | beta2 | 2015-07-15 | |
| | |||
* | Remove unneeded comment | 2015-07-15 | |
| | |||
* | .cma files are not executables | 2015-07-15 | |
| | |||
* | Packaging 8.5beta1 | 2015-07-14 | |
| | |||
* | Bump debhelper compat level to 9 | 2014-07-27 | |
| | |||
* | Bump ABI | 2014-07-27 | |
| | |||
* | Update ABI | 2014-01-19 | |
| | |||
* | Update ABI | 2013-05-08 | |
| | |||
* | Update ABI | 2012-12-29 | |
| | |||
* | Update ABI | 2012-08-20 | |
| | |||
* | Update ABI | 2012-06-04 | |
| | |||
* | Call dh_install with --fail-missing | 2012-01-14 | |
| | |||
* | Miscellaneous updates | 2012-01-12 | |
| | |||
* | Bump COQ_VERSION | 2011-12-25 | |
| | |||
* | New upstream release | 2011-04-19 | |
| | |||
* | Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2 | 2011-02-26 | |
| | |||
* | debian/rules: make "build" a phony target | 2010-10-19 | |
| | |||
* | Run test-suite in override_dh_auto_test, skip coqchk | 2010-10-19 | |
| | |||
* | Update packaging according to upstream changes | 2010-07-21 | |
| | |||
* | Use dh with overrides | 2010-07-01 | |
| | |||
* | Use debhelper more thoroughly | 2010-07-01 | |
| | |||
* | Switch source package format to 3.0 (quilt) | 2010-07-01 | |
| | |||
* | Switch to dh-ocaml 0.9 | 2009-12-03 | |
| | |||
* | Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3 | 2009-08-29 | |
| | |||
* | Call coqchk without -silentdebian/8.2.pl1+dfsg-2 | 2009-07-05 | |
| | |||
* | Remove dependency on dpatch | 2009-02-20 | |
| | |||
* | Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi | 2009-02-20 | |
| | |||
* | Use ocamlinit.mk | 2009-02-20 | |
| | |||
* | Use Debian changelog to determine COQ_VERSION | 2009-02-20 | |
| | |||
* | Added coqvars.mk helper for coq-related packages. | 2009-02-19 | |
| | |||
* | Use variables from dh-ocaml in rules. | 2009-02-19 | |
| | |||
* | New Upstream Version | 2009-02-19 | |
| |