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