Index of /coq/


../
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
coq-8.13.2_0.darwin_21.arm64.tbz2                  22-Nov-2021 01:40           101632395
coq-8.13.2_0.darwin_21.arm64.tbz2.rmd160           22-Nov-2021 01:40                 512
coq-8.13.2_0.darwin_21.x86_64.tbz2                 14-Jan-2022 13:59            96212165
coq-8.13.2_0.darwin_21.x86_64.tbz2.rmd160          14-Jan-2022 13:59                 512