Index of /macports/distfiles/coq/
| Name |
Size |
Date |
|
📁 ../
|
- |
- |
|
📄 coq-8.13.1.tar.gz
|
6952051 bytes
|
2021-03-04 19:36:22 |
|
📄 coq-8.13.2.tar.gz
|
6952237 bytes
|
2021-04-01 21:48:08 |
|
📄 coq-8.4pl3.tar.gz
|
4064579 bytes
|
2013-12-22 17:17:33 |
|
📄 coq-8.4pl4.tar.gz
|
4067355 bytes
|
2014-05-21 16:20:58 |
|
📄 coq-8.4pl5.tar.gz
|
4070062 bytes
|
2014-11-30 17:26:31 |
|
📄 coq-8.4pl6.tar.gz
|
4099815 bytes
|
2015-06-19 19:02:03 |
|
📄 coq-8.5.tar.gz
|
5346653 bytes
|
2016-01-25 19:34:17 |
|
📄 coq-8.5pl1.tar.gz
|
5366774 bytes
|
2016-04-27 21:02:03 |
|
📄 coq-8.5pl2.tar.gz
|
5321862 bytes
|
2016-07-20 21:07:22 |
|
📄 coq-8.5pl3.tar.gz
|
5335502 bytes
|
2016-11-12 22:28:57 |
|
📄 coq-8.8.0.tar.gz
|
5928213 bytes
|
2018-04-27 09:07:44 |
|
📄 coq-8.8.1.tar.gz
|
5935019 bytes
|
2018-07-16 00:57:14 |
|
📄 coq-8.8.2.tar.gz
|
5951293 bytes
|
2018-10-01 14:26:45 |