Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |
| | |||
* | Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3 | 2009-02-08 | |
| | |||
* | Put also OCaml ABI in Coq ABIdebian/8.2.rc2+dfsg-1 | 2009-02-05 | |
| | |||
* | Add coq-${F:CoqABI} virtual package | 2009-02-01 | |
| | | | | | | Rationale: *.vo files depend on the version of Coq used to compile them. This virtual package will be useful for other packages providing *.vo (e.g. why, ssreflect). | ||
* | Rename binary package coq-libs -> coq-theories | 2009-02-01 | |
| | | | | | | Rationale: the name coq-libs is rather confusing for the contents of this package. There is no doubt on the contents of the package with coq-theories. | ||
* | Add a build cache (see README.source) | 2009-02-01 | |
| |