Index of /fstar/

../
fstar-0.9.7.0-alpha1_7.darwin_10.x86_64.tbz2       27-Feb-2020 01:03            98716260
fstar-0.9.7.0-alpha1_7.darwin_10.x86_64.tbz2.rm..> 27-Feb-2020 01:03                 512
fstar-0.9.7.0-alpha1_7.darwin_11.x86_64.tbz2       14-Jan-2020 07:13            98731072
fstar-0.9.7.0-alpha1_7.darwin_11.x86_64.tbz2.rm..> 14-Jan-2020 07:13                 512
fstar-0.9.7.0-alpha1_7.darwin_12.x86_64.tbz2       14-Jan-2020 07:37            98723287
fstar-0.9.7.0-alpha1_7.darwin_12.x86_64.tbz2.rm..> 14-Jan-2020 07:37                 512
fstar-0.9.7.0-alpha1_7.darwin_13.x86_64.tbz2       14-Jan-2020 07:02            98732515
fstar-0.9.7.0-alpha1_7.darwin_13.x86_64.tbz2.rm..> 14-Jan-2020 07:02                 512
fstar-0.9.7.0-alpha1_7.darwin_14.x86_64.tbz2       14-Jan-2020 07:10            98718191
fstar-0.9.7.0-alpha1_7.darwin_14.x86_64.tbz2.rm..> 14-Jan-2020 07:10                 512
fstar-0.9.7.0-alpha1_7.darwin_15.x86_64.tbz2       14-Jan-2020 07:25            98711447
fstar-0.9.7.0-alpha1_7.darwin_15.x86_64.tbz2.rm..> 14-Jan-2020 07:25                 512
fstar-0.9.7.0-alpha1_7.darwin_16.x86_64.tbz2       14-Jan-2020 07:03            98715056
fstar-0.9.7.0-alpha1_7.darwin_16.x86_64.tbz2.rm..> 14-Jan-2020 07:03                 512
fstar-0.9.7.0-alpha1_7.darwin_17.x86_64.tbz2       14-Jan-2020 07:16            98715539
fstar-0.9.7.0-alpha1_7.darwin_17.x86_64.tbz2.rm..> 14-Jan-2020 07:16                 512
fstar-0.9.7.0-alpha1_7.darwin_18.x86_64.tbz2       14-Jan-2020 07:12            99792463
fstar-0.9.7.0-alpha1_7.darwin_18.x86_64.tbz2.rm..> 14-Jan-2020 07:12                 512
fstar-0.9.7.0-alpha1_7.darwin_19.x86_64.tbz2       14-Jan-2020 07:22            99795746
fstar-0.9.7.0-alpha1_7.darwin_19.x86_64.tbz2.rm..> 14-Jan-2020 07:22                 512