| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| coq-8.13.1.tar.gz | 7M | 04-Mar-2021 16:36 |
| coq-8.13.2.tar.gz | 7M | 01-Apr-2021 18:48 |
| coq-8.4pl3.tar.gz | 4M | 22-Dec-2013 13:17 |
| coq-8.4pl4.tar.gz | 4M | 21-May-2014 12:20 |
| coq-8.4pl5.tar.gz | 4M | 30-Nov-2014 14:26 |
| coq-8.4pl6.tar.gz | 4M | 19-Jun-2015 16:02 |
| coq-8.5.tar.gz | 5M | 25-Jan-2016 16:34 |
| coq-8.5pl1.tar.gz | 5M | 27-Apr-2016 18:02 |
| coq-8.5pl2.tar.gz | 5M | 20-Jul-2016 18:07 |
| coq-8.5pl3.tar.gz | 5M | 12-Nov-2016 19:28 |
| coq-8.8.0.tar.gz | 6M | 27-Apr-2018 06:07 |
| coq-8.8.1.tar.gz | 6M | 15-Jul-2018 21:57 |
| coq-8.8.2.tar.gz | 6M | 01-Oct-2018 11:26 |