Source Files 
| Filename | Size | Changed | Actions |
|---|---|---|---|
| README.coq-emacs | 0000000127127 Bytes | 1470351679 | 
|
| coq-8.5pl1.tar.gz | 00053667745.12 MB | 1470351691 | |
| coq.spec | 000002050520 KB | 1470351693 |
|
| coq.xml | 0000000289289 Bytes | 1470351693 |
|
| coqide.appdata.xml | 00000015371.5 KB | 1470351694 |
|
| coqide.desktop | 0000000174174 Bytes | 1470351695 |
|
Login required, please login or signup in order to comment