Source Files 
| Filename | Size | Changed | Actions |
|---|---|---|---|
| README.coq-emacs | 0000000127127 Bytes | 1470351679almost 2 years ago | 
|
| coq-8.5pl1.tar.gz | 00053667745.12 MB | 1470351691almost 2 years ago | |
| coq.spec | 000002050520 KB | 1470351693almost 2 years ago |
|
| coq.xml | 0000000289289 Bytes | 1470351693almost 2 years ago |
|
| coqide.appdata.xml | 00000015371.5 KB | 1470351694almost 2 years ago |
|
| coqide.desktop | 0000000174174 Bytes | 1470351695almost 2 years ago |
|