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