Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | proofd.confd | 415 | logplain |
-rw-r--r-- | proofd.initd | 606 | logplain |
-rw-r--r-- | root-6.11.02-hsimple.patch | 1838 | logplain |
-rw-r--r-- | root-6.12.04-no-ocaml.patch | 1631 | logplain |
-rw-r--r-- | root-6.12.04-no-opengl.patch | 763 | logplain |
-rw-r--r-- | root-6.12.04-z3.patch | 1155 | logplain |
-rw-r--r-- | root-6.12.06_cling-runtime-sysroot.patch | 989 | logplain |
-rw-r--r-- | root-6.13.02-hsimple.patch | 1694 | logplain |
-rw-r--r-- | root-6.14.00-http.patch | 1130 | logplain |
-rw-r--r-- | rootd.confd | 199 | logplain |
-rw-r--r-- | rootd.initd | 622 | logplain |