| 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.4pl3.tar.gz | 4064579 bytes | 2013-12-22 13:17:33 |
| 📄 coq-8.4pl4.tar.gz | 4067355 bytes | 2014-05-21 12:20:58 |
| 📄 coq-8.4pl5.tar.gz | 4070062 bytes | 2014-11-30 14:26:31 |
| 📄 coq-8.4pl6.tar.gz | 4099815 bytes | 2015-06-19 16:02:03 |
| 📄 coq-8.5.tar.gz | 5346653 bytes | 2016-01-25 16:34:17 |
| 📄 coq-8.5pl1.tar.gz | 5366774 bytes | 2016-04-27 18:02:03 |
| 📄 coq-8.5pl2.tar.gz | 5321862 bytes | 2016-07-20 18:07:22 |
| 📄 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 |