| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 116 | logplain |
| -rw-r--r-- | ccomp.1 | 6810 | logplain |
| -rw-r--r-- | changelog | 140 | logplain |
| -rw-r--r-- | compat | 2 | logplain |
| -rw-r--r-- | compcert.manpages | 14 | logplain |
| -rw-r--r-- | control | 797 | logplain |
| -rw-r--r-- | copyright | 17204 | logplain |
| -rw-r--r-- | docs | 7 | logplain |
| -rw-r--r-- | gbp.conf | 30 | logplain |
| -rwxr-xr-x | install | 116 | logplain |
| -rwxr-xr-x | rules | 939 | logplain |
| d--------- | source | 34 | logplain |
| -rw-r--r-- | watch | 79 | logplain |
 |
index : debian-compcert | |
| Debian packaging for CompCert |
| summaryrefslogtreecommitdiff |