Index of /macports-packages/coq/


../
coq-8.13.1_1.darwin_13.x86_64.tbz2                 06-Mar-2021 02:04            96000236
coq-8.13.1_1.darwin_13.x86_64.tbz2.rmd160          06-Mar-2021 02:04                 512
coq-8.13.1_1.darwin_14.x86_64.tbz2                 05-Mar-2021 11:36            95674559
coq-8.13.1_1.darwin_14.x86_64.tbz2.rmd160          05-Mar-2021 11:36                 512
coq-8.13.1_1.darwin_15.x86_64.tbz2                 05-Mar-2021 13:12            96971996
coq-8.13.1_1.darwin_15.x86_64.tbz2.rmd160          05-Mar-2021 13:12                 512
coq-8.13.1_1.darwin_16.x86_64.tbz2                 05-Mar-2021 06:14            96151625
coq-8.13.1_1.darwin_16.x86_64.tbz2.rmd160          05-Mar-2021 06:14                 512
coq-8.13.1_1.darwin_17.x86_64.tbz2                 05-Mar-2021 13:58            96308942
coq-8.13.1_1.darwin_17.x86_64.tbz2.rmd160          05-Mar-2021 13:58                 512
coq-8.13.1_1.darwin_18.x86_64.tbz2                 06-Mar-2021 01:46            96249371
coq-8.13.1_1.darwin_18.x86_64.tbz2.rmd160          06-Mar-2021 01:46                 512
coq-8.13.1_1.darwin_19.x86_64.tbz2                 23-Mar-2021 19:45            96287688
coq-8.13.1_1.darwin_19.x86_64.tbz2.rmd160          23-Mar-2021 19:45                 512
coq-8.13.1_1.darwin_20.arm64.tbz2                  04-Mar-2021 17:27           101598223
coq-8.13.1_1.darwin_20.arm64.tbz2.rmd160           04-Mar-2021 17:27                 512
coq-8.13.1_1.darwin_20.x86_64.tbz2                 06-Mar-2021 12:06            96309993
coq-8.13.1_1.darwin_20.x86_64.tbz2.rmd160          06-Mar-2021 12:06                 512
coq-8.13.2_0.darwin_13.x86_64.tbz2                 02-Apr-2021 00:24            96000491
coq-8.13.2_0.darwin_13.x86_64.tbz2.rmd160          02-Apr-2021 00:24                 512
coq-8.13.2_0.darwin_14.x86_64.tbz2                 02-Apr-2021 00:52            95655015
coq-8.13.2_0.darwin_14.x86_64.tbz2.rmd160          02-Apr-2021 00:52                 512
coq-8.13.2_0.darwin_15.x86_64.tbz2                 02-Apr-2021 04:59            96963394
coq-8.13.2_0.darwin_15.x86_64.tbz2.rmd160          02-Apr-2021 04:59                 512
coq-8.13.2_0.darwin_16.x86_64.tbz2                 03-Apr-2021 21:37            96146928
coq-8.13.2_0.darwin_16.x86_64.tbz2.rmd160          03-Apr-2021 21:37                 512
coq-8.13.2_0.darwin_17.x86_64.tbz2                 03-Apr-2021 21:46            96294570
coq-8.13.2_0.darwin_17.x86_64.tbz2.rmd160          03-Apr-2021 21:46                 512
coq-8.13.2_0.darwin_18.x86_64.tbz2                 02-Apr-2021 22:17            96256646
coq-8.13.2_0.darwin_18.x86_64.tbz2.rmd160          02-Apr-2021 22:17                 512
coq-8.13.2_0.darwin_19.x86_64.tbz2                 08-Apr-2021 01:27            96285673
coq-8.13.2_0.darwin_19.x86_64.tbz2.rmd160          08-Apr-2021 01:27                 512
coq-8.13.2_0.darwin_20.arm64.tbz2                  09-Jun-2021 06:07           101584211
coq-8.13.2_0.darwin_20.arm64.tbz2.rmd160           09-Jun-2021 06:07                 512
coq-8.13.2_0.darwin_20.x86_64.tbz2                 09-Jun-2021 07:42            96295782
coq-8.13.2_0.darwin_20.x86_64.tbz2.rmd160          09-Jun-2021 07:42                 512