debian-compcert - Debian packaging for CompCert

	Commit message (Collapse)	Author	Age
*	Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.	xleroy	2013-12-15
\| \| \| \| \| \| \|	VERSION: bump version number. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2379 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Version 2.00 -> version 2.0	xleroy	2013-06-21
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2286 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Update version number	xleroy	2013-06-16
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2278 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated for version 1.13	xleroy	2013-03-11
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2143 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14
\| \| \| \| \| \| \|	Remove stdio hack in runtime/ git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1979 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	A file with the version number	xleroy	2012-03-28
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1857 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e