summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdebian/changelog: Tag 2.4-1 for unstable releaseGravatar Benjamin Barenblat9 years
pristine-tarpristine-tar data for compcert_2.4.orig.tar.gzGravatar Benjamin Barenblat9 years
upstreamImported Upstream version 2.4Gravatar Benjamin Barenblat9 years
 
TagDownloadAuthorAge
upstream/2.4commit 2fce11525d...Gravatar Benjamin Barenblat9 years
 
AgeCommit messageAuthor
2015-02-05debian/changelog: Tag 2.4-1 for unstable releaseHEADmasterGravatar Benjamin Barenblat
2015-02-05Don’t reference a nonexistent upstream LICENSE fileGravatar Benjamin Barenblat
2015-02-05Add Vcs-Browser and Vcs-Git URLsGravatar Benjamin Barenblat
2015-02-05Add man pageGravatar Benjamin Barenblat
2015-02-05Install CompCert READMEGravatar Benjamin Barenblat
2015-02-05debian/rules: Better documentationGravatar Benjamin Barenblat
2015-02-05Install manuallyGravatar Benjamin Barenblat
2015-02-05Pass target to configureGravatar Benjamin Barenblat
2015-02-05Fix minor error in Debian copyright fileGravatar Benjamin Barenblat
2015-02-05Fake a Makefile.config so initial ‘make clean’ worksGravatar Benjamin Barenblat
2015-02-05Begin packaging CompCertGravatar Benjamin Barenblat
2015-02-05Merge tag 'upstream/2.4'Gravatar Benjamin Barenblat
2015-02-05Imported Upstream version 2.4upstream/2.4upstreamGravatar Benjamin Barenblat
2014-09-17Trim blank linesGravatar xleroy
2014-09-17Update changelog and version for 2.4Gravatar xleroy
2014-09-17Tolerance in parsing of 'section' pragmaGravatar xleroy
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-compcert.git
https://github.com/bbarenblat/debian-compcert.git