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 | 931 | 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 |
d--------- | patches | 83 | logplain |
-rwxr-xr-x | rules | 939 | logplain |
d--------- | source | 34 | logplain |
-rw-r--r-- | watch | 79 | logplain |