Index of /x86_64/


../
acl2-8.1-1-x86_64.pkg.tar.xz                       20-Sep-2018 20:18            67235480
acl2-8.1-1-x86_64.pkg.tar.xz.sig                   20-Sep-2018 20:18                 310
fstar-0.9.6.0-1-x86_64.pkg.tar.xz                  18-May-2018 22:56            54236152
fstar-0.9.6.0-1-x86_64.pkg.tar.xz.sig              18-May-2018 22:56                 310
fstar-git-20180518-1-x86_64.pkg.tar.xz             18-May-2018 22:55            54229188
fstar-git-20180518-1-x86_64.pkg.tar.xz.sig         18-May-2018 22:55                 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.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-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
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-1-x86_64.pkg.tar.xz     10-Aug-2018 01:26             3017500
mi-caja-1.16.2.r4.gc2522c9-1-x86_64.pkg.tar.xz.sig 10-Aug-2018 01:26                 310
mlkit-4.3.18-1-x86_64.pkg.tar.xz                   02-Sep-2018 16:15            10919148
mlkit-4.3.18-1-x86_64.pkg.tar.xz.sig               02-Sep-2018 16:15                 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-1-x86_64.pkg.tar.xz         24-Apr-2018 23:42             1818756
moe-1.16.1.r4.g7ef2776-1-x86_64.pkg.tar.xz.sig     24-Apr-2018 23:42                 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-20181113-1-x86_64.pkg.tar.xz          18-Nov-2018 17:32             1649808
ocaml-menhir-20181113-1-x86_64.pkg.tar.xz.sig      18-Nov-2018 17:32                 310
ocaml-pprint-20171003-2-x86_64.pkg.tar.xz          18-Apr-2018 12:39               47460
ocaml-pprint-20171003-2-x86_64.pkg.tar.xz.sig      18-Apr-2018 12:39                 310
ocaml-stdint-git-20180606-1-x86_64.pkg.tar.xz      13-Oct-2018 13:13              552200
ocaml-stdint-git-20180606-1-x86_64.pkg.tar.xz.sig  13-Oct-2018 13:13                 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.3.18-1-x86_64.pkg.tar.xz                 02-Sep-2018 16:15             4695016
smltojs-4.3.18-1-x86_64.pkg.tar.xz.sig             02-Sep-2018 16:15                 310
soimort.db                                         18-Nov-2018 17:32               17252
soimort.db.tar.gz                                  18-Nov-2018 17:32               17252
soimort.files                                      18-Nov-2018 17:32              286992
soimort.files.tar.gz                               18-Nov-2018 17:32              286992
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-1-x86_64.pkg.tar.xz              18-Apr-2018 12:42               45948
ulex-git-20171127-1-x86_64.pkg.tar.xz.sig          18-Apr-2018 12:42                 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