Index of /packages/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-8.4pl4_0.darwin_10.x86_64.tbz2 67M21-May-2014 04:51
coq-8.4pl4_0.darwin_10.x86_64.tbz2.rmd160 51221-May-2014 04:51
coq-8.4pl4_0.darwin_11.x86_64.tbz2 69M21-May-2014 05:03
coq-8.4pl4_0.darwin_11.x86_64.tbz2.rmd160 51221-May-2014 05:03
coq-8.4pl4_0.darwin_12.x86_64.tbz2 69M22-May-2014 08:15
coq-8.4pl4_0.darwin_12.x86_64.tbz2.rmd160 51222-May-2014 08:15
coq-8.4pl4_0.darwin_13.x86_64.tbz2 69M21-May-2014 04:52
coq-8.4pl4_0.darwin_13.x86_64.tbz2.rmd160 51221-May-2014 04:52
coq-8.4pl5_0.darwin_11.x86_64.tbz2 70M29-Nov-2014 17:45
coq-8.4pl5_0.darwin_11.x86_64.tbz2.rmd160 51229-Nov-2014 17:45
coq-8.4pl5_0.darwin_12.x86_64.tbz2 70M29-Nov-2014 17:42
coq-8.4pl5_0.darwin_12.x86_64.tbz2.rmd160 51229-Nov-2014 17:42
coq-8.4pl5_0.darwin_13.x86_64.tbz2 70M29-Nov-2014 17:28
coq-8.4pl5_0.darwin_13.x86_64.tbz2.rmd160 51229-Nov-2014 17:28
coq-8.4pl6_0.darwin_11.x86_64.tbz2 70M20-Jun-2015 21:30
coq-8.4pl6_0.darwin_11.x86_64.tbz2.rmd160 51220-Jun-2015 21:30
coq-8.4pl6_0.darwin_12.x86_64.tbz2 70M20-Jun-2015 21:14
coq-8.4pl6_0.darwin_12.x86_64.tbz2.rmd160 51220-Jun-2015 21:14
coq-8.4pl6_0.darwin_13.x86_64.tbz2 70M21-Jun-2015 00:53
coq-8.4pl6_0.darwin_13.x86_64.tbz2.rmd160 51221-Jun-2015 00:53
coq-8.4pl6_1.darwin_10.x86_64.tbz2 68M24-Nov-2015 12:22
coq-8.4pl6_1.darwin_10.x86_64.tbz2.rmd160 51224-Nov-2015 12:22
coq-8.4pl6_1.darwin_11.x86_64.tbz2 70M24-Jun-2015 22:47
coq-8.4pl6_1.darwin_11.x86_64.tbz2.rmd160 51224-Jun-2015 22:47
coq-8.4pl6_1.darwin_12.x86_64.tbz2 70M24-Jun-2015 21:58
coq-8.4pl6_1.darwin_12.x86_64.tbz2.rmd160 51224-Jun-2015 21:58
coq-8.4pl6_1.darwin_13.x86_64.tbz2 70M24-Jun-2015 22:46
coq-8.4pl6_1.darwin_13.x86_64.tbz2.rmd160 51224-Jun-2015 22:46
coq-8.4pl6_1.darwin_14.x86_64.tbz2 70M29-Aug-2015 16:20
coq-8.4pl6_1.darwin_14.x86_64.tbz2.rmd160 51229-Aug-2015 16:20
coq-8.5_0.darwin_10.x86_64.tbz2 69M25-Jan-2016 01:21
coq-8.5_0.darwin_10.x86_64.tbz2.rmd160 51225-Jan-2016 01:21
coq-8.5_0.darwin_12.x86_64.tbz2 73M25-Jan-2016 01:21
coq-8.5_0.darwin_12.x86_64.tbz2.rmd160 51225-Jan-2016 01:21
coq-8.5_0.darwin_13.x86_64.tbz2 73M25-Jan-2016 01:16
coq-8.5_0.darwin_13.x86_64.tbz2.rmd160 51225-Jan-2016 01:16
coq-8.5_0.darwin_14.x86_64.tbz2 72M25-Jan-2016 01:20
coq-8.5_0.darwin_14.x86_64.tbz2.rmd160 51225-Jan-2016 01:20
coq-8.5_0.darwin_15.x86_64.tbz2 72M09-Feb-2016 11:33
coq-8.5_0.darwin_15.x86_64.tbz2.rmd160 51209-Feb-2016 11:33
coq-8.5pl1_0.darwin_10.x86_64.tbz2 66M26-Apr-2016 22:53
coq-8.5pl1_0.darwin_10.x86_64.tbz2.rmd160 51226-Apr-2016 22:53
coq-8.5pl1_0.darwin_12.x86_64.tbz2 70M26-Apr-2016 22:53
coq-8.5pl1_0.darwin_12.x86_64.tbz2.rmd160 51226-Apr-2016 22:53
coq-8.5pl1_0.darwin_13.x86_64.tbz2 70M26-Apr-2016 22:50
coq-8.5pl1_0.darwin_13.x86_64.tbz2.rmd160 51226-Apr-2016 22:50
coq-8.5pl1_0.darwin_14.x86_64.tbz2 69M26-Apr-2016 22:52
coq-8.5pl1_0.darwin_14.x86_64.tbz2.rmd160 51226-Apr-2016 22:52
coq-8.5pl1_0.darwin_15.x86_64.tbz2 69M26-Apr-2016 22:51
coq-8.5pl1_0.darwin_15.x86_64.tbz2.rmd160 51226-Apr-2016 22:51
coq-8.5pl2_0.darwin_10.x86_64.tbz2 66M18-Jul-2016 20:54
coq-8.5pl2_0.darwin_10.x86_64.tbz2.rmd160 51218-Jul-2016 20:54
coq-8.5pl2_0.darwin_12.x86_64.tbz2 70M18-Jul-2016 20:55
coq-8.5pl2_0.darwin_12.x86_64.tbz2.rmd160 51218-Jul-2016 20:55
coq-8.5pl2_0.darwin_13.x86_64.tbz2 70M18-Jul-2016 20:53
coq-8.5pl2_0.darwin_13.x86_64.tbz2.rmd160 51218-Jul-2016 20:53
coq-8.5pl2_0.darwin_14.x86_64.tbz2 69M18-Jul-2016 20:54
coq-8.5pl2_0.darwin_14.x86_64.tbz2.rmd160 51218-Jul-2016 20:54
coq-8.5pl2_0.darwin_15.x86_64.tbz2 69M18-Jul-2016 20:53
coq-8.5pl2_0.darwin_15.x86_64.tbz2.rmd160 51218-Jul-2016 20:53
coq-8.5pl3_0.darwin_10.x86_64.tbz2 65M11-Nov-2016 22:59
coq-8.5pl3_0.darwin_10.x86_64.tbz2.rmd160 51211-Nov-2016 22:59
coq-8.5pl3_0.darwin_11.x86_64.tbz2 69M11-Nov-2016 22:59
coq-8.5pl3_0.darwin_11.x86_64.tbz2.rmd160 51211-Nov-2016 22:59
coq-8.5pl3_0.darwin_12.x86_64.tbz2 69M11-Nov-2016 23:02
coq-8.5pl3_0.darwin_12.x86_64.tbz2.rmd160 51211-Nov-2016 23:02
coq-8.5pl3_0.darwin_13.x86_64.tbz2 69M11-Nov-2016 23:01
coq-8.5pl3_0.darwin_13.x86_64.tbz2.rmd160 51211-Nov-2016 23:01
coq-8.5pl3_0.darwin_14.x86_64.tbz2 69M11-Nov-2016 23:00
coq-8.5pl3_0.darwin_14.x86_64.tbz2.rmd160 51211-Nov-2016 23:00
coq-8.5pl3_0.darwin_15.x86_64.tbz2 68M11-Nov-2016 22:59
coq-8.5pl3_0.darwin_15.x86_64.tbz2.rmd160 51211-Nov-2016 22:59
coq-8.5pl3_0.darwin_16.x86_64.tbz2 68M11-Nov-2016 23:01
coq-8.5pl3_0.darwin_16.x86_64.tbz2.rmd160 51211-Nov-2016 23:01
coq-8.5pl3_0.darwin_17.x86_64.tbz2 68M18-Oct-2017 09:25
coq-8.5pl3_0.darwin_17.x86_64.tbz2.rmd160 51218-Oct-2017 09:25
coq-8.7.0_0.darwin_11.x86_64.tbz2 58M22-Nov-2017 07:52
coq-8.7.0_0.darwin_11.x86_64.tbz2.rmd160 51222-Nov-2017 07:52
coq-8.7.0_0.darwin_12.x86_64.tbz2 58M22-Nov-2017 07:51
coq-8.7.0_0.darwin_12.x86_64.tbz2.rmd160 51222-Nov-2017 07:51
coq-8.7.0_0.darwin_13.x86_64.tbz2 58M22-Nov-2017 07:48
coq-8.7.0_0.darwin_13.x86_64.tbz2.rmd160 51222-Nov-2017 07:48
coq-8.7.0_0.darwin_14.x86_64.tbz2 58M22-Nov-2017 16:23
coq-8.7.0_0.darwin_14.x86_64.tbz2.rmd160 51222-Nov-2017 16:23
coq-8.7.0_0.darwin_15.x86_64.tbz2 58M22-Nov-2017 07:52
coq-8.7.0_0.darwin_15.x86_64.tbz2.rmd160 51222-Nov-2017 07:52
coq-8.7.0_0.darwin_16.x86_64.tbz2 58M22-Nov-2017 07:51
coq-8.7.0_0.darwin_16.x86_64.tbz2.rmd160 51222-Nov-2017 07:51
coq-8.7.0_0.darwin_17.x86_64.tbz2 58M22-Nov-2017 07:48
coq-8.7.0_0.darwin_17.x86_64.tbz2.rmd160 51222-Nov-2017 07:48