| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq-8.0-byteflags.patch | 676 | logplain |
| -rw-r--r-- | coq-8.0-ocaml-3.08.1.patch | 1321 | logplain |
| -rw-r--r-- | coqide.desktop | 242 | logplain |
| -rw-r--r-- | digest-coq-8.0-r1 | 500 | logplain |
| -rw-r--r-- | digest-coq-8.0_p3 | 765 | logplain |
| -rw-r--r-- | ocaml-3.07.patch | 333 | logplain |
GitWeb