summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdebian/changelog: Tag 2.4-1 for unstable releaseBenjamin Barenblat6 years
pristine-tarpristine-tar data for compcert_2.4.orig.tar.gzBenjamin Barenblat6 years
upstreamImported Upstream version 2.4Benjamin Barenblat6 years
 
TagDownloadAuthorAge
upstream/2.4commit 2fce11525d...Benjamin Barenblat6 years
 
AgeCommit messageAuthor
2015-02-05debian/changelog: Tag 2.4-1 for unstable releaseHEADmasterBenjamin Barenblat
2015-02-05Don’t reference a nonexistent upstream LICENSE fileBenjamin Barenblat
2015-02-05Add Vcs-Browser and Vcs-Git URLsBenjamin Barenblat
2015-02-05Add man pageBenjamin Barenblat
2015-02-05Install CompCert READMEBenjamin Barenblat
2015-02-05debian/rules: Better documentationBenjamin Barenblat
2015-02-05Install manuallyBenjamin Barenblat
2015-02-05Pass target to configureBenjamin Barenblat
2015-02-05Fix minor error in Debian copyright fileBenjamin Barenblat
2015-02-05Fake a Makefile.config so initial ‘make clean’ worksBenjamin Barenblat
2015-02-05Begin packaging CompCertBenjamin Barenblat
2015-02-05Merge tag 'upstream/2.4'Benjamin Barenblat
2015-02-05Imported Upstream version 2.4upstream/2.4upstreamBenjamin Barenblat
2014-09-17Trim blank linesxleroy
2014-09-17Update changelog and version for 2.4xleroy
2014-09-17Tolerance in parsing of 'section' pragmaxleroy
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-compcert.git
https://github.com/bbarenblat/debian-compcert.git