debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	Package new coqpp utility	Benjamin Barenblat	2019-02-05
\|
*	Don’t try to install gallina(1) (deleted by upstream)	Benjamin Barenblat	2019-02-05
\| \| \| \|	gallina(1) has been removed, so don’t try to install it.
*	Update to new toploop packaging	Benjamin Barenblat	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	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
\|
*	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.
*	Packaging 8.5beta1	Enrico Tassi	2015-07-14
\|
*	Install plugins in (new) binary package libcoq-ocaml	Stephane Glondu	2010-07-21
\|
*	Update packaging according to upstream changes	Stephane Glondu	2010-07-21
\|
*	Use debhelper more thoroughly	Stephane Glondu	2010-07-01
\|
*	Use variables from dh-ocaml in rules.	Samuel Mimram	2009-02-19
\|
*	Do not install revision file	Stephane Glondu	2009-02-01
\| \| \| \| \|	This file is generated from VCS informations, and doesn't exist when building out of any VCS.
*	Simplify handling of dispatch to binary packages	Stephane Glondu	2009-02-01
\|
*	Add new binary package libcoq-ocaml-dev	Stephane Glondu	2009-02-01
\| \| \| \| \|	Rationale: coqmktop depends on a whole working OCaml environment, and we don't need ocaml-related stuff when developing in pure Coq.
*	Use debhelper 7, simplify debian/rules	Stephane Glondu	2008-09-08