Index of /x86_64/
../
acl2-8.2-1-x86_64.pkg.tar.xz 11-May-2019 21:53 68610324
acl2-8.2-1-x86_64.pkg.tar.xz.sig 11-May-2019 21:53 310
fstar-git-20191019-1-x86_64.pkg.tar.xz 19-Oct-2019 23:59 62770924
fstar-git-20191019-1-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:59 310
hol-kananaskis.13-1-x86_64.pkg.tar.xz 26-Sep-2019 13:50 17844184
hol-kananaskis.13-1-x86_64.pkg.tar.xz.sig 26-Sep-2019 13:50 310
kawa-3.1-1-x86_64.pkg.tar.xz 11-Jan-2020 14:14 3511844
kawa-3.1-1-x86_64.pkg.tar.xz.sig 11-Jan-2020 14:14 310
lean-git-3.3.0.r666.ga4aae537f-1-x86_64.pkg.tar.xz 09-Jun-2018 14:32 11308080
lean-git-3.3.0.r666.ga4aae537f-1-x86_64.pkg.tar..> 09-Jun-2018 14:32 310
mathcomp-git-20191007-1-x86_64.pkg.tar.xz 20-Oct-2019 00:43 25170024
mathcomp-git-20191007-1-x86_64.pkg.tar.xz.sig 20-Oct-2019 00:43 310
mercury-14.01.1-2-x86_64.pkg.tar.xz 23-Mar-2016 18:33 41861012
mercury-14.01.1-2-x86_64.pkg.tar.xz.sig 23-Mar-2016 18:33 287
mi-caja-1.16.2.r4.gc2522c9-2-x86_64.pkg.tar.xz 16-Feb-2019 02:48 3033912
mi-caja-1.16.2.r4.gc2522c9-2-x86_64.pkg.tar.xz.sig 16-Feb-2019 02:48 310
mlkit-4.4.3-1-x86_64.pkg.tar.xz 02-Aug-2019 09:52 11076832
mlkit-4.4.3-1-x86_64.pkg.tar.xz.sig 02-Aug-2019 09:52 310
mlton-git-r6708.f3a7a8e-1-x86_64.pkg.tar.xz 23-Mar-2016 11:08 6118040
mlton-git-r6708.f3a7a8e-1-x86_64.pkg.tar.xz.sig 23-Mar-2016 11:08 287
moe-1.16.1.r4.g7ef2776-2-x86_64.pkg.tar.xz 16-Feb-2019 02:48 1813048
moe-1.16.1.r4.g7ef2776-2-x86_64.pkg.tar.xz.sig 16-Feb-2019 02:48 310
mosml-2.10.1-1-x86_64.pkg.tar.xz 23-Mar-2016 18:36 1491016
mosml-2.10.1-1-x86_64.pkg.tar.xz.sig 23-Mar-2016 18:36 287
mozart2-git-v2.0.0.alpha.0.4162.gce3f1af-1-x86_..> 24-Mar-2016 00:35 2596736
mozart2-git-v2.0.0.alpha.0.4162.gce3f1af-1-x86_..> 24-Mar-2016 00:35 287
ocaml-batteries-git-20180122-1-x86_64.pkg.tar.xz 13-Feb-2018 03:06 9552960
ocaml-batteries-git-20180122-1-x86_64.pkg.tar.x..> 13-Feb-2018 03:06 310
ocaml-menhir-20190924-2-x86_64.pkg.tar.xz 19-Oct-2019 23:13 1673000
ocaml-menhir-20190924-2-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:13 310
ocaml-migrate-parsetree-git-20190905-1-x86_64.p..> 19-Oct-2019 23:28 7398884
ocaml-migrate-parsetree-git-20190905-1-x86_64.p..> 19-Oct-2019 23:28 310
ocaml-pprint-20180523-1-x86_64.pkg.tar.xz 19-Oct-2019 23:19 48848
ocaml-pprint-20180523-1-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:19 310
ocaml-ppx_derivers-git-20190404-2-x86_64.pkg.ta..> 19-Oct-2019 23:26 33672
ocaml-ppx_derivers-git-20190404-2-x86_64.pkg.ta..> 19-Oct-2019 23:26 310
ocaml-ppx_deriving-git-20190909-3-x86_64.pkg.ta..> 19-Oct-2019 23:37 3719812
ocaml-ppx_deriving-git-20190909-3-x86_64.pkg.ta..> 19-Oct-2019 23:37 310
ocaml-ppx_deriving_yojson-git-20191009-1-x86_64..> 19-Oct-2019 23:41 451120
ocaml-ppx_deriving_yojson-git-20191009-1-x86_64..> 19-Oct-2019 23:41 310
ocaml-ppx_tools-git-20190719-1-x86_64.pkg.tar.xz 19-Oct-2019 23:34 616700
ocaml-ppx_tools-git-20190719-1-x86_64.pkg.tar.x..> 19-Oct-2019 23:34 310
ocaml-ppxfind-git-20190513-2-x86_64.pkg.tar.xz 19-Oct-2019 23:33 6293972
ocaml-ppxfind-git-20190513-2-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:33 310
ocaml-process-git-20160901-2-x86_64.pkg.tar.xz 19-Oct-2019 23:11 48596
ocaml-process-git-20160901-2-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:11 310
ocaml-stdint-git-20180606-2-x86_64.pkg.tar.xz 19-Oct-2019 23:08 561564
ocaml-stdint-git-20180606-2-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:08 310
ocaml-yojson-git-20190520-1-x86_64.pkg.tar.xz 19-Oct-2019 23:30 1780844
ocaml-yojson-git-20190520-1-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:30 310
polyml-5.7.1-1-x86_64.pkg.tar.xz 09-Dec-2017 00:51 2669996
polyml-5.7.1-1-x86_64.pkg.tar.xz.sig 09-Dec-2017 00:51 310
prover9-2009.11A-2-x86_64.pkg.tar.xz 23-Mar-2016 21:49 1082156
prover9-2009.11A-2-x86_64.pkg.tar.xz.sig 23-Mar-2016 21:49 287
python-git-3.7.0a0.r100645.6efcb6d3d5-1-x86_64...> 18-Dec-2017 23:48 21990212
python-git-3.7.0a0.r100645.6efcb6d3d5-1-x86_64...> 18-Dec-2017 23:48 310
scite-gtk2-4.0.5-1-x86_64.pkg.tar.xz 29-May-2018 17:24 1594220
scite-gtk2-4.0.5-1-x86_64.pkg.tar.xz.sig 29-May-2018 17:24 310
smltojs-4.4.3-1-x86_64.pkg.tar.xz 02-Aug-2019 09:53 4686496
smltojs-4.4.3-1-x86_64.pkg.tar.xz.sig 02-Aug-2019 09:53 310
soimort.db 11-Jan-2020 14:14 21915
soimort.db.tar.gz 11-Jan-2020 14:14 21915
soimort.files 11-Jan-2020 14:14 365409
soimort.files.tar.gz 11-Jan-2020 14:14 365409
tcllib-1.19-1-any.pkg.tar.xz 29-May-2018 22:22 3579496
tcllib-1.19-1-any.pkg.tar.xz.sig 29-May-2018 22:22 310
tcltls-1.7.12-1-x86_64.pkg.tar.xz 29-May-2018 22:25 35876
tcltls-1.7.12-1-x86_64.pkg.tar.xz.sig 29-May-2018 22:25 310
twelf-1.7.1-2-x86_64.pkg.tar.xz 23-Mar-2016 18:35 3388856
twelf-1.7.1-2-x86_64.pkg.tar.xz.sig 23-Mar-2016 18:35 287
ulex-git-20171127-2-x86_64.pkg.tar.xz 19-Oct-2019 23:20 47568
ulex-git-20171127-2-x86_64.pkg.tar.xz.sig 19-Oct-2019 23:20 310
vlc-3.0.3-2-x86_64.pkg.tar.xz 22-Aug-2018 14:42 11220432
vlc-3.0.3-2-x86_64.pkg.tar.xz.sig 22-Aug-2018 14:42 310
z3-git-4.6.0.r322.g098bce0f4-1-x86_64.pkg.tar.xz 16-Apr-2018 13:43 13114260
z3-git-4.6.0.r322.g098bce0f4-1-x86_64.pkg.tar.x..> 16-Apr-2018 13:43 310