debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Tighten Build-Depends to match upstream’s INSTALL	Benjamin Barenblat	2019-02-05
\|
*	Remove references to ocaml-best-compilers package	Benjamin Barenblat	2019-02-05
\| \| \| \| \|	ocaml-best-compilers has been superseded by ocaml-nox. Simply depend on that instead.
*	Add oUnit dependency	Benjamin Barenblat	2019-02-05
\| \| \| \| \|	Coq 8.9.0 introduced a test that requires oUnit. Pull it in in debian/rules.
*	Update packaging for Emacs mode deletion	Benjamin Barenblat	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.
*	Package coq_makefile’s new Python dependency	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.
*	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 Vcs-*	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 build depsdebian/8.5_beta2+dfsg-1	Enrico Tassi	2015-07-16
\|
*	make bin-nmuable	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 Standards-Version to 3.9.5	Stephane Glondu	2014-07-27
\|
*	Update Vcs-*	Stephane Glondu	2013-07-26
\|
*	Compile with OCaml >= 4	Stephane Glondu	2013-07-26
\|
*	Add ocaml-findlib to Build-Depends...	Stephane Glondu	2012-12-29
\| \| \| \|	...so that detection of lablgtk2 works
*	proofgeneral-coq has been dropped in favour of proofgeneral	Stephane Glondu	2012-01-14
\|
*	Downgrade versioned build-dependency to liblablgtk2-ocaml-dev	Stephane Glondu	2011-11-12
\| \| \| \| \|	It was there to ease a transition, and is not actually needed. This will ease backports.
*	Bump Standards-Version to 3.9.2 (no changes)	Stephane Glondu	2011-11-02
\|
*	Merge sid branch	Stephane Glondu	2011-02-26
\|\
\| *	Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-2	Stephane Glondu	2011-02-21
\| \|
* \|	Bump Standards-Version to 3.9.1 (no changes)	Stephane Glondu	2010-10-16
\| \|
* \|	Install plugins in (new) binary package libcoq-ocaml	Stephane Glondu	2010-07-21
\|/
*	Fix a few warnings	Stephane Glondu	2010-07-02
\|
*	Remove Stefano and Remi from Uploaders	Stephane Glondu	2010-07-01
\|
*	Bump SV to 3.9.0	Stephane Glondu	2010-07-01
\|
*	Use dh with overrides	Stephane Glondu	2010-07-01
\|
*	Switch source package format to 3.0 (quilt)	Stephane Glondu	2010-07-01
\|
*	Bump Standards-Version to 3.8.4 (no changes)	Stephane Glondu	2010-02-10
\|
*	Switch to dh-ocaml 0.9	Stephane Glondu	2009-12-03
\|
*	debian/control: fix typo in long description (Closes: #557458)	Stefano Zacchiroli	2009-11-22
\|
*	Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3	Stephane Glondu	2009-08-29
\|
*	Prepare upload to unstabledebian/8.2-1+dfsg-2	Stephane Glondu	2009-07-01
\|
*	Suggests readline-editor instead of cle	Stephane Glondu	2009-04-27
\|
*	Remove upstream url from long descriptions since we already use the Homepage ↵	Samuel Mimram	2009-04-14
\| \| \| \|	field.
*	Add versioned dependencies	Stephane Glondu	2009-02-27
\|
*	Add dependency on liblablgtk2-ocaml	Stephane Glondu	2009-02-27
\|
*	Add missing Conflicts and Replaces (Closes: #517107)	Stephane Glondu	2009-02-26
\|
*	Remove dependency on dpatch	Stephane Glondu	2009-02-20
\|
*	Use variables from dh-ocaml in rules.	Samuel Mimram	2009-02-19
\|
*	Remove experimental dependencies and restore ocaml-best-compiler	Stephane Glondu	2009-02-19
\|
*	Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3	Stephane Glondu	2009-02-08
\|
*	Add more versioned dependencies to please builddsdebian/8.2.rc2+dfsg-2	Stephane Glondu	2009-02-08
\|