debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	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
\|
*	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.
*	Coq 8.6debian/8.6-1	Enrico Tassi	2016-12-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
\|
*	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
\|
*	beta2	Enrico Tassi	2015-07-15
\|
*	Remove unneeded comment	Enrico Tassi	2015-07-15
\|
*	.cma files are not executables	Enrico Tassi	2015-07-15
\|
*	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\|
*	Bump debhelper compat level to 9	Stephane Glondu	2014-07-27
\|
*	Bump ABI	Stephane Glondu	2014-07-27
\|
*	Update ABI	Stephane Glondu	2014-01-19
\|
*	Update ABI	Stephane Glondu	2013-05-08
\|
*	Update ABI	Stephane Glondu	2012-12-29
\|
*	Update ABI	Stephane Glondu	2012-08-20
\|
*	Update ABI	Stephane Glondu	2012-06-04
\|
*	Call dh_install with --fail-missing	Stephane Glondu	2012-01-14
\|
*	Miscellaneous updates	Stephane Glondu	2012-01-12
\|
*	Bump COQ_VERSION	Stephane Glondu	2011-12-25
\|
*	New upstream release	Stephane Glondu	2011-04-19
\|
*	Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2	Stephane Glondu	2011-02-26
\|
*	debian/rules: make "build" a phony target	Stephane Glondu	2010-10-19
\|
*	Run test-suite in override_dh_auto_test, skip coqchk	Stephane Glondu	2010-10-19
\|
*	Update packaging according to upstream changes	Stephane Glondu	2010-07-21
\|
*	Use dh with overrides	Stephane Glondu	2010-07-01
\|
*	Use debhelper more thoroughly	Stephane Glondu	2010-07-01
\|
*	Switch source package format to 3.0 (quilt)	Stephane Glondu	2010-07-01
\|
*	Switch to dh-ocaml 0.9	Stephane Glondu	2009-12-03
\|
*	Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3	Stephane Glondu	2009-08-29
\|
*	Call coqchk without -silentdebian/8.2.pl1+dfsg-2	Stephane Glondu	2009-07-05
\|
*	Remove dependency on dpatch	Stephane Glondu	2009-02-20
\|
*	Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi	Stephane Glondu	2009-02-20
\|
*	Use ocamlinit.mk	Stephane Glondu	2009-02-20
\|
*	Use Debian changelog to determine COQ_VERSION	Stephane Glondu	2009-02-20
\|
*	Added coqvars.mk helper for coq-related packages.	Samuel Mimram	2009-02-19
\|
*	Use variables from dh-ocaml in rules.	Samuel Mimram	2009-02-19
\|
*	New Upstream Version	Stephane Glondu	2009-02-19
\|
*	Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3	Stephane Glondu	2009-02-08
\|
*	Put also OCaml ABI in Coq ABIdebian/8.2.rc2+dfsg-1	Stephane Glondu	2009-02-05
\|
*	Add coq-${F:CoqABI} virtual package	Stephane Glondu	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	Stephane Glondu	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)	Stephane Glondu	2009-02-01
\|
*	Show full commands when building Coq	Stephane Glondu	2009-02-01
\| \| \| \|	More useful in build logs
*	Simplify handling of dispatch to binary packages	Stephane Glondu	2009-02-01
\|