| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-8.13.1.tar.gz | 6952051 bytes | 2021-03-04 16:36:22 |
| 📄 coq-8.13.2.tar.gz | 6952237 bytes | 2021-04-01 18:48:08 |
| 📄 coq-8.5pl3.tar.gz | 5335502 bytes | 2016-11-12 19:28:57 |
| 📄 coq-8.8.0.tar.gz | 5928213 bytes | 2018-04-27 06:07:44 |
| 📄 coq-8.8.1.tar.gz | 5935019 bytes | 2018-07-15 21:57:14 |
| 📄 coq-8.8.2.tar.gz | 5951293 bytes | 2018-10-01 11:26:45 |