debian-coq - Debian packaging for Coq

	Commit message (Collapse)	Author	Age
*	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