Index of /x86_64/


../
acl2-8.0-1-x86_64.pkg.tar.xz                       14-Dec-2017 22:41            66822544
acl2-8.0-1-x86_64.pkg.tar.xz.sig                   14-Dec-2017 22:41                 310
fstar-0.9.5.0-2-x86_64.pkg.tar.xz                  24-Oct-2017 12:40            38825576
fstar-0.9.5.0-2-x86_64.pkg.tar.xz.sig              24-Oct-2017 12:40                 310
fstar-git-20171205-1-x86_64.pkg.tar.xz             08-Dec-2017 23:59            44716768
fstar-git-20171205-1-x86_64.pkg.tar.xz.sig         08-Dec-2017 23:59                 310
kawa-3.0-1-x86_64.pkg.tar.xz                       09-Dec-2017 00:43             3480316
kawa-3.0-1-x86_64.pkg.tar.xz.sig                   09-Dec-2017 00:43                 310
lean-git-3.3.0.r409.gaffe3463a-1-x86_64.pkg.tar.xz 09-Feb-2018 23:11            11197444
lean-git-3.3.0.r409.gaffe3463a-1-x86_64.pkg.tar..> 09-Feb-2018 23:11                 310
mathcomp-git-20170913-1-x86_64.pkg.tar.xz          19-Oct-2017 15:41            42350404
mathcomp-git-20170913-1-x86_64.pkg.tar.xz.sig      19-Oct-2017 15:41                 310
meine-mutter-3.26.2+43+g77dd1bf63-1-x86_64.pkg...> 23-Jan-2018 21:07             2267352
meine-mutter-3.26.2+43+g77dd1bf63-1-x86_64.pkg...> 23-Jan-2018 21:07                 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.r3.g1149c42-1-x86_64.pkg.tar.xz     09-Dec-2017 19:08             3033600
mi-caja-1.16.2.r3.g1149c42-1-x86_64.pkg.tar.xz.sig 09-Dec-2017 19:08                 310
mlkit-4.3.12-1-x86_64.pkg.tar.xz                   11-Dec-2017 15:38            10937456
mlkit-4.3.12-1-x86_64.pkg.tar.xz.sig               11-Dec-2017 15:38                 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
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-20171222-1-x86_64.pkg.tar.xz          23-Dec-2017 12:32             1387488
ocaml-menhir-20171222-1-x86_64.pkg.tar.xz.sig      23-Dec-2017 12:32                 310
ocaml-pprint-20171003-1-x86_64.pkg.tar.xz          09-Dec-2017 00:55               45760
ocaml-pprint-20171003-1-x86_64.pkg.tar.xz.sig      09-Dec-2017 00:55                 310
ocaml-stdint-git-20171013-2-x86_64.pkg.tar.xz      09-Dec-2017 00:56              481124
ocaml-stdint-git-20171013-2-x86_64.pkg.tar.xz.sig  09-Dec-2017 00:56                 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.3-1-x86_64.pkg.tar.xz               13-Feb-2018 03:39             1556456
scite-gtk2-4.0.3-1-x86_64.pkg.tar.xz.sig           13-Feb-2018 03:39                 310
smltojs-4.3.12-1-x86_64.pkg.tar.xz                 11-Dec-2017 15:58             4832008
smltojs-4.3.12-1-x86_64.pkg.tar.xz.sig             11-Dec-2017 15:58                 310
soimort.db                                         13-Feb-2018 03:40               13220
soimort.db.tar.gz                                  13-Feb-2018 03:40               13220
soimort.files                                      13-Feb-2018 03:40              264482
soimort.files.tar.gz                               13-Feb-2018 03:40              264482
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
z3-git-4.5.0.r1919.gfaebbc53-1-x86_64.pkg.tar.xz   08-Dec-2017 23:23            13060524
z3-git-4.5.0.r1919.gfaebbc53-1-x86_64.pkg.tar.x..> 08-Dec-2017 23:23                 310