| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-8.4pl3.tar.gz | 4064579 | 2013-Dec-22 22:17 | |
| coq-8.4pl4.tar.gz | 4067355 | 2014-May-21 21:20 | |
| coq-8.4pl5.tar.gz | 4070062 | 2014-Nov-30 23:26 | |
| coq-8.4pl6.tar.gz | 4099815 | 2015-Jun-20 01:02 | |
| coq-8.5.tar.gz | 5346653 | 2016-Jan-26 01:34 | |
| coq-8.5pl1.tar.gz | 5366774 | 2016-Apr-28 03:02 | |
| coq-8.5pl2.tar.gz | 5321862 | 2016-Jul-21 03:07 | |
| coq-8.5pl3.tar.gz | 5335502 | 2016-Nov-13 04:28 | |
| coq-8.8.0.tar.gz | 5928213 | 2018-Apr-27 15:07 | |
| coq-8.8.1.tar.gz | 5935019 | 2018-Jul-16 06:57 | |
| coq-8.8.2.tar.gz | 5951293 | 2018-Oct-01 20:26 | |
| coq-8.13.1.tar.gz | 6952051 | 2021-Mar-05 01:36 | |
| coq-8.13.2.tar.gz | 6952237 | 2021-Apr-02 03:48 | |