debian-compcert - Debian packaging for CompCert

	Commit message (Collapse)	Author	Age
*	Updates for release 2.2	xleroy	2014-02-21
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2415 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Use "-as" to put CompCert modules in a compcert.xxx namespace.	xleroy	2013-05-01
\| \| \| \| \| \| \| \|	Simplified the scripts "coq" and "pg". Updated deps. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2228 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated documentation	xleroy	2013-01-11
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2098 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Doc fixes	xleroy	2011-08-23
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1726 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Clean up	xleroy	2010-05-26
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1348 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	TeX and HTML escapes	xleroy	2010-03-12
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1289 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	New HTML documentation generator	xleroy	2010-03-09
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e