summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Don’t reference a nonexistent upstream LICENSE fileGravatar Benjamin Barenblat2015-02-05
* Add Vcs-Browser and Vcs-Git URLsGravatar Benjamin Barenblat2015-02-05
* Add man pageGravatar Benjamin Barenblat2015-02-05
* Install CompCert READMEGravatar Benjamin Barenblat2015-02-05
* debian/rules: Better documentationGravatar Benjamin Barenblat2015-02-05
* Install manuallyGravatar Benjamin Barenblat2015-02-05
* Pass target to configureGravatar Benjamin Barenblat2015-02-05
* Fix minor error in Debian copyright fileGravatar Benjamin Barenblat2015-02-05
* Fake a Makefile.config so initial ‘make clean’ worksGravatar Benjamin Barenblat2015-02-05
* Begin packaging CompCertGravatar Benjamin Barenblat2015-02-05