Index of /macports-packages/lean/


../
lean-3.35.1_0.darwin_10.x86_64.tbz2                14-Nov-2021 01:12             6268525
lean-3.35.1_0.darwin_10.x86_64.tbz2.rmd160         14-Nov-2021 01:12                 512
lean-3.35.1_0.darwin_11.x86_64.tbz2                13-Nov-2021 19:51             6112442
lean-3.35.1_0.darwin_11.x86_64.tbz2.rmd160         13-Nov-2021 19:51                 512
lean-3.35.1_0.darwin_12.x86_64.tbz2                14-Nov-2021 11:26             6112265
lean-3.35.1_0.darwin_12.x86_64.tbz2.rmd160         14-Nov-2021 11:26                 512
lean-3.35.1_0.darwin_13.x86_64.tbz2                13-Nov-2021 20:04             5952979
lean-3.35.1_0.darwin_13.x86_64.tbz2.rmd160         13-Nov-2021 20:04                 512
lean-3.35.1_0.darwin_14.x86_64.tbz2                13-Nov-2021 23:16             5953319
lean-3.35.1_0.darwin_14.x86_64.tbz2.rmd160         13-Nov-2021 23:16                 512
lean-3.35.1_0.darwin_15.x86_64.tbz2                15-Nov-2021 04:06             5953587
lean-3.35.1_0.darwin_15.x86_64.tbz2.rmd160         15-Nov-2021 04:06                 512
lean-3.35.1_0.darwin_16.x86_64.tbz2                14-Nov-2021 07:28             5950296
lean-3.35.1_0.darwin_16.x86_64.tbz2.rmd160         14-Nov-2021 07:28                 512
lean-3.35.1_0.darwin_17.x86_64.tbz2                15-Nov-2021 00:57             5968241
lean-3.35.1_0.darwin_17.x86_64.tbz2.rmd160         15-Nov-2021 00:57                 512
lean-3.35.1_0.darwin_18.x86_64.tbz2                15-Nov-2021 20:57             5973453
lean-3.35.1_0.darwin_18.x86_64.tbz2.rmd160         15-Nov-2021 20:57                 512
lean-3.35.1_0.darwin_19.x86_64.tbz2                15-Nov-2021 14:45             6015637
lean-3.35.1_0.darwin_19.x86_64.tbz2.rmd160         15-Nov-2021 14:45                 512
lean-3.35.1_0.darwin_20.arm64.tbz2                 14-Nov-2021 00:30             5669583
lean-3.35.1_0.darwin_20.arm64.tbz2.rmd160          14-Nov-2021 00:30                 512
lean-3.35.1_0.darwin_20.x86_64.tbz2                15-Nov-2021 09:53             5957009
lean-3.35.1_0.darwin_20.x86_64.tbz2.rmd160         15-Nov-2021 09:53                 512
lean-3.35.1_0.darwin_21.arm64.tbz2                 14-Nov-2021 01:44             5676138
lean-3.35.1_0.darwin_21.arm64.tbz2.rmd160          14-Nov-2021 01:44                 512
lean-3.35.1_0.darwin_21.x86_64.tbz2                03-Dec-2021 02:50             5958111
lean-3.35.1_0.darwin_21.x86_64.tbz2.rmd160         03-Dec-2021 02:50                 512
lean-3.38.0_0.darwin_10.x86_64.tbz2                25-Jan-2022 16:24             6183290
lean-3.38.0_0.darwin_10.x86_64.tbz2.rmd160         25-Jan-2022 16:24                 512
lean-3.38.0_0.darwin_12.x86_64.tbz2                25-Jan-2022 15:43             6066858
lean-3.38.0_0.darwin_12.x86_64.tbz2.rmd160         25-Jan-2022 15:43                 512
lean-3.38.0_0.darwin_13.x86_64.tbz2                25-Jan-2022 14:53             5902001
lean-3.38.0_0.darwin_13.x86_64.tbz2.rmd160         25-Jan-2022 14:53                 512
lean-3.38.0_0.darwin_14.x86_64.tbz2                25-Jan-2022 15:02             5899723
lean-3.38.0_0.darwin_14.x86_64.tbz2.rmd160         25-Jan-2022 15:02                 512
lean-3.38.0_0.darwin_15.x86_64.tbz2                25-Jan-2022 14:54             5902316
lean-3.38.0_0.darwin_15.x86_64.tbz2.rmd160         25-Jan-2022 14:54                 512
lean-3.38.0_0.darwin_16.x86_64.tbz2                25-Jan-2022 14:48             5880269
lean-3.38.0_0.darwin_16.x86_64.tbz2.rmd160         25-Jan-2022 14:48                 512
lean-3.38.0_0.darwin_17.x86_64.tbz2                25-Jan-2022 15:07             5900347
lean-3.38.0_0.darwin_17.x86_64.tbz2.rmd160         25-Jan-2022 15:07                 512
lean-3.38.0_0.darwin_18.x86_64.tbz2                25-Jan-2022 14:50             5974838
lean-3.38.0_0.darwin_18.x86_64.tbz2.rmd160         25-Jan-2022 14:50                 512
lean-3.38.0_0.darwin_19.x86_64.tbz2                25-Jan-2022 14:48             6027643
lean-3.38.0_0.darwin_19.x86_64.tbz2.rmd160         25-Jan-2022 14:48                 512
lean-3.38.0_0.darwin_20.arm64.tbz2                 25-Jan-2022 14:37             5683428
lean-3.38.0_0.darwin_20.arm64.tbz2.rmd160          25-Jan-2022 14:37                 512
lean-3.38.0_0.darwin_20.x86_64.tbz2                25-Jan-2022 14:45             5964352
lean-3.38.0_0.darwin_20.x86_64.tbz2.rmd160         25-Jan-2022 14:45                 512
lean-3.38.0_0.darwin_21.arm64.tbz2                 25-Jan-2022 16:27             5681515
lean-3.38.0_0.darwin_21.arm64.tbz2.rmd160          25-Jan-2022 16:27                 512
lean-3.38.0_0.darwin_21.x86_64.tbz2                25-Jan-2022 18:20             5958319
lean-3.38.0_0.darwin_21.x86_64.tbz2.rmd160         25-Jan-2022 18:20                 512
lean-3.39.1_0.darwin_10.x86_64.tbz2                15-Feb-2022 14:42             6185784
lean-3.39.1_0.darwin_10.x86_64.tbz2.rmd160         15-Feb-2022 14:42                 512
lean-3.39.1_0.darwin_12.x86_64.tbz2                15-Feb-2022 14:45             6073279
lean-3.39.1_0.darwin_12.x86_64.tbz2.rmd160         15-Feb-2022 14:45                 512
lean-3.39.1_0.darwin_13.x86_64.tbz2                15-Feb-2022 14:39             5903050
lean-3.39.1_0.darwin_13.x86_64.tbz2.rmd160         15-Feb-2022 14:39                 512
lean-3.39.1_0.darwin_14.x86_64.tbz2                15-Feb-2022 14:44             5904156
lean-3.39.1_0.darwin_14.x86_64.tbz2.rmd160         15-Feb-2022 14:44                 512
lean-3.39.1_0.darwin_15.x86_64.tbz2                15-Feb-2022 14:39             5902343
lean-3.39.1_0.darwin_15.x86_64.tbz2.rmd160         15-Feb-2022 14:39                 512
lean-3.39.1_0.darwin_16.x86_64.tbz2                15-Feb-2022 14:32             5884003
lean-3.39.1_0.darwin_16.x86_64.tbz2.rmd160         15-Feb-2022 14:32                 512
lean-3.39.1_0.darwin_17.x86_64.tbz2                15-Feb-2022 14:45             5902325
lean-3.39.1_0.darwin_17.x86_64.tbz2.rmd160         15-Feb-2022 14:45                 512
lean-3.39.1_0.darwin_18.x86_64.tbz2                15-Feb-2022 14:33             5979546
lean-3.39.1_0.darwin_18.x86_64.tbz2.rmd160         15-Feb-2022 14:33                 512
lean-3.39.1_0.darwin_19.x86_64.tbz2                15-Feb-2022 14:33             6033927
lean-3.39.1_0.darwin_19.x86_64.tbz2.rmd160         15-Feb-2022 14:33                 512
lean-3.39.1_0.darwin_20.arm64.tbz2                 15-Feb-2022 14:21             5698769
lean-3.39.1_0.darwin_20.arm64.tbz2.rmd160          15-Feb-2022 14:21                 512
lean-3.39.1_0.darwin_20.x86_64.tbz2                15-Feb-2022 14:32             5960318
lean-3.39.1_0.darwin_20.x86_64.tbz2.rmd160         15-Feb-2022 14:32                 512
lean-3.39.1_0.darwin_21.arm64.tbz2                 16-Feb-2022 00:44             5687792
lean-3.39.1_0.darwin_21.arm64.tbz2.rmd160          16-Feb-2022 00:44                 512
lean-3.39.1_0.darwin_21.x86_64.tbz2                15-Feb-2022 14:39             5960936
lean-3.39.1_0.darwin_21.x86_64.tbz2.rmd160         15-Feb-2022 14:39                 512
lean-3.42.0_0.darwin_10.x86_64.tbz2                20-Mar-2022 13:29             6231269
lean-3.42.0_0.darwin_10.x86_64.tbz2.rmd160         20-Mar-2022 13:29                 512
lean-3.42.0_0.darwin_12.x86_64.tbz2                20-Mar-2022 13:30             5889224
lean-3.42.0_0.darwin_12.x86_64.tbz2.rmd160         20-Mar-2022 13:30                 512
lean-3.42.0_0.darwin_13.x86_64.tbz2                20-Mar-2022 13:21             5710099
lean-3.42.0_0.darwin_13.x86_64.tbz2.rmd160         20-Mar-2022 13:21                 512
lean-3.42.0_0.darwin_14.x86_64.tbz2                20-Mar-2022 13:26             5711144
lean-3.42.0_0.darwin_14.x86_64.tbz2.rmd160         20-Mar-2022 13:26                 512
lean-3.42.0_0.darwin_15.x86_64.tbz2                20-Mar-2022 13:25             5711023
lean-3.42.0_0.darwin_15.x86_64.tbz2.rmd160         20-Mar-2022 13:25                 512
lean-3.42.0_0.darwin_16.x86_64.tbz2                20-Mar-2022 13:16             5678598
lean-3.42.0_0.darwin_16.x86_64.tbz2.rmd160         20-Mar-2022 13:16                 512
lean-3.42.0_0.darwin_17.x86_64.tbz2                20-Mar-2022 13:31             5701716
lean-3.42.0_0.darwin_17.x86_64.tbz2.rmd160         20-Mar-2022 13:31                 512
lean-3.42.0_0.darwin_18.x86_64.tbz2                20-Mar-2022 13:19             6036120
lean-3.42.0_0.darwin_18.x86_64.tbz2.rmd160         20-Mar-2022 13:19                 512
lean-3.42.0_0.darwin_19.x86_64.tbz2                20-Mar-2022 14:46             6160610
lean-3.42.0_0.darwin_19.x86_64.tbz2.rmd160         20-Mar-2022 14:46                 512
lean-3.42.0_0.darwin_20.arm64.tbz2                 20-Mar-2022 21:20             5737987
lean-3.42.0_0.darwin_20.arm64.tbz2.rmd160          20-Mar-2022 21:20                 512
lean-3.42.0_0.darwin_20.x86_64.tbz2                20-Mar-2022 14:45             6027307
lean-3.42.0_0.darwin_20.x86_64.tbz2.rmd160         20-Mar-2022 14:45                 512
lean-3.42.0_0.darwin_21.arm64.tbz2                 20-Mar-2022 13:09             5733764
lean-3.42.0_0.darwin_21.arm64.tbz2.rmd160          20-Mar-2022 13:09                 512
lean-3.42.0_0.darwin_21.x86_64.tbz2                20-Mar-2022 13:31             6026324
lean-3.42.0_0.darwin_21.x86_64.tbz2.rmd160         20-Mar-2022 13:31                 512
lean-3.42.1_0.darwin_10.x86_64.tbz2                04-Apr-2022 14:54             6229977
lean-3.42.1_0.darwin_10.x86_64.tbz2.rmd160         04-Apr-2022 14:54                 512
lean-3.42.1_0.darwin_12.x86_64.tbz2                04-Apr-2022 14:59             5891711
lean-3.42.1_0.darwin_12.x86_64.tbz2.rmd160         04-Apr-2022 14:59                 512
lean-3.42.1_0.darwin_13.x86_64.tbz2                04-Apr-2022 16:30             5712184
lean-3.42.1_0.darwin_13.x86_64.tbz2.rmd160         04-Apr-2022 16:30                 512
lean-3.42.1_0.darwin_14.x86_64.tbz2                04-Apr-2022 16:17             5710827
lean-3.42.1_0.darwin_14.x86_64.tbz2.rmd160         04-Apr-2022 16:17                 512
lean-3.42.1_0.darwin_15.x86_64.tbz2                04-Apr-2022 16:34             5712362
lean-3.42.1_0.darwin_15.x86_64.tbz2.rmd160         04-Apr-2022 16:34                 512
lean-3.42.1_0.darwin_16.x86_64.tbz2                04-Apr-2022 16:21             5682623
lean-3.42.1_0.darwin_16.x86_64.tbz2.rmd160         04-Apr-2022 16:21                 512
lean-3.42.1_0.darwin_17.x86_64.tbz2                04-Apr-2022 16:25             5701212
lean-3.42.1_0.darwin_17.x86_64.tbz2.rmd160         04-Apr-2022 16:25                 512
lean-3.42.1_0.darwin_18.x86_64.tbz2                04-Apr-2022 16:26             6039131
lean-3.42.1_0.darwin_18.x86_64.tbz2.rmd160         04-Apr-2022 16:26                 512
lean-3.42.1_0.darwin_19.x86_64.tbz2                04-Apr-2022 16:43             6161749
lean-3.42.1_0.darwin_19.x86_64.tbz2.rmd160         04-Apr-2022 16:43                 512
lean-3.42.1_0.darwin_20.arm64.tbz2                 05-Apr-2022 00:13             5739680
lean-3.42.1_0.darwin_20.arm64.tbz2.rmd160          05-Apr-2022 00:13                 512
lean-3.42.1_0.darwin_20.x86_64.tbz2                04-Apr-2022 16:37             6030059
lean-3.42.1_0.darwin_20.x86_64.tbz2.rmd160         04-Apr-2022 16:37                 512
lean-3.42.1_0.darwin_21.arm64.tbz2                 04-Apr-2022 15:06             5734254
lean-3.42.1_0.darwin_21.arm64.tbz2.rmd160          04-Apr-2022 15:06                 512
lean-3.42.1_0.darwin_21.x86_64.tbz2                04-Apr-2022 16:24             6025471
lean-3.42.1_0.darwin_21.x86_64.tbz2.rmd160         04-Apr-2022 16:24                 512
lean-3.43.0_0.darwin_10.x86_64.tbz2                29-May-2022 07:40             6219380
lean-3.43.0_0.darwin_10.x86_64.tbz2.rmd160         29-May-2022 07:40                 512
lean-3.43.0_0.darwin_12.x86_64.tbz2                29-May-2022 07:40             5889915
lean-3.43.0_0.darwin_12.x86_64.tbz2.rmd160         29-May-2022 07:40                 512
lean-3.43.0_0.darwin_13.x86_64.tbz2                29-May-2022 07:34             5703543
lean-3.43.0_0.darwin_13.x86_64.tbz2.rmd160         29-May-2022 07:34                 512
lean-3.43.0_0.darwin_14.x86_64.tbz2                29-May-2022 07:40             5704295
lean-3.43.0_0.darwin_14.x86_64.tbz2.rmd160         29-May-2022 07:40                 512
lean-3.43.0_0.darwin_15.x86_64.tbz2                29-May-2022 07:34             5704848
lean-3.43.0_0.darwin_15.x86_64.tbz2.rmd160         29-May-2022 07:34                 512
lean-3.43.0_0.darwin_16.x86_64.tbz2                29-May-2022 07:27             5676261
lean-3.43.0_0.darwin_16.x86_64.tbz2.rmd160         29-May-2022 07:27                 512
lean-3.43.0_0.darwin_17.x86_64.tbz2                29-May-2022 07:41             5693799
lean-3.43.0_0.darwin_17.x86_64.tbz2.rmd160         29-May-2022 07:41                 512
lean-3.43.0_0.darwin_18.x86_64.tbz2                29-May-2022 07:29             6029795
lean-3.43.0_0.darwin_18.x86_64.tbz2.rmd160         29-May-2022 07:29                 512
lean-3.43.0_0.darwin_19.x86_64.tbz2                29-May-2022 07:28             6148991
lean-3.43.0_0.darwin_19.x86_64.tbz2.rmd160         29-May-2022 07:28                 512
lean-3.43.0_0.darwin_20.arm64.tbz2                 29-May-2022 13:18             5734868
lean-3.43.0_0.darwin_20.arm64.tbz2.rmd160          29-May-2022 13:18                 512
lean-3.43.0_0.darwin_20.x86_64.tbz2                29-May-2022 07:26             6023315
lean-3.43.0_0.darwin_20.x86_64.tbz2.rmd160         29-May-2022 07:26                 512
lean-3.43.0_0.darwin_21.arm64.tbz2                 29-May-2022 07:16             5732253
lean-3.43.0_0.darwin_21.arm64.tbz2.rmd160          29-May-2022 07:16                 512
lean-3.43.0_0.darwin_21.x86_64.tbz2                29-May-2022 07:31             6015825
lean-3.43.0_0.darwin_21.x86_64.tbz2.rmd160         29-May-2022 07:31                 512
lean-3.44.1_0.darwin_10.x86_64.tbz2                02-Jul-2022 15:49             6222411
lean-3.44.1_0.darwin_10.x86_64.tbz2.rmd160         02-Jul-2022 15:49                 512
lean-3.44.1_0.darwin_12.x86_64.tbz2                02-Jul-2022 15:02             5892669
lean-3.44.1_0.darwin_12.x86_64.tbz2.rmd160         02-Jul-2022 15:02                 512
lean-3.44.1_0.darwin_13.x86_64.tbz2                02-Jul-2022 14:58             5708043
lean-3.44.1_0.darwin_13.x86_64.tbz2.rmd160         02-Jul-2022 14:58                 512
lean-3.44.1_0.darwin_14.x86_64.tbz2                02-Jul-2022 14:55             5705613
lean-3.44.1_0.darwin_14.x86_64.tbz2.rmd160         02-Jul-2022 14:55                 512
lean-3.44.1_0.darwin_15.x86_64.tbz2                02-Jul-2022 20:59             5705439
lean-3.44.1_0.darwin_15.x86_64.tbz2.rmd160         02-Jul-2022 20:59                 512
lean-3.44.1_0.darwin_16.x86_64.tbz2                02-Jul-2022 14:46             5677462
lean-3.44.1_0.darwin_16.x86_64.tbz2.rmd160         02-Jul-2022 14:46                 512
lean-3.44.1_0.darwin_17.x86_64.tbz2                02-Jul-2022 15:03             5696357
lean-3.44.1_0.darwin_17.x86_64.tbz2.rmd160         02-Jul-2022 15:03                 512
lean-3.44.1_0.darwin_18.x86_64.tbz2                02-Jul-2022 17:07             6033667
lean-3.44.1_0.darwin_18.x86_64.tbz2.rmd160         02-Jul-2022 17:07                 512
lean-3.44.1_0.darwin_19.x86_64.tbz2                02-Jul-2022 15:33             6154089
lean-3.44.1_0.darwin_19.x86_64.tbz2.rmd160         02-Jul-2022 15:33                 512
lean-3.44.1_0.darwin_20.arm64.tbz2                 02-Jul-2022 20:43             5735359
lean-3.44.1_0.darwin_20.arm64.tbz2.rmd160          02-Jul-2022 20:43                 512
lean-3.44.1_0.darwin_20.x86_64.tbz2                02-Jul-2022 15:00             6025040
lean-3.44.1_0.darwin_20.x86_64.tbz2.rmd160         02-Jul-2022 15:00                 512
lean-3.44.1_0.darwin_21.arm64.tbz2                 02-Jul-2022 14:35             5733496
lean-3.44.1_0.darwin_21.arm64.tbz2.rmd160          02-Jul-2022 14:35                 512
lean-3.44.1_0.darwin_21.x86_64.tbz2                02-Jul-2022 14:46             6020517
lean-3.44.1_0.darwin_21.x86_64.tbz2.rmd160         02-Jul-2022 14:46                 512
lean-3.45.0_0.darwin_10.x86_64.tbz2                30-Jul-2022 15:17             6232635
lean-3.45.0_0.darwin_10.x86_64.tbz2.rmd160         30-Jul-2022 15:17                 512
lean-3.45.0_0.darwin_12.x86_64.tbz2                30-Jul-2022 22:39             5899887
lean-3.45.0_0.darwin_12.x86_64.tbz2.rmd160         30-Jul-2022 22:39                 512
lean-3.45.0_0.darwin_13.x86_64.tbz2                30-Jul-2022 17:40             5709482
lean-3.45.0_0.darwin_13.x86_64.tbz2.rmd160         30-Jul-2022 17:40                 512
lean-3.45.0_0.darwin_14.x86_64.tbz2                30-Jul-2022 21:55             5709257
lean-3.45.0_0.darwin_14.x86_64.tbz2.rmd160         30-Jul-2022 21:55                 512
lean-3.45.0_0.darwin_15.x86_64.tbz2                30-Jul-2022 17:42             5708884
lean-3.45.0_0.darwin_15.x86_64.tbz2.rmd160         30-Jul-2022 17:42                 512
lean-3.45.0_0.darwin_16.x86_64.tbz2                30-Jul-2022 12:55             5680227
lean-3.45.0_0.darwin_16.x86_64.tbz2.rmd160         30-Jul-2022 12:55                 512
lean-3.45.0_0.darwin_17.x86_64.tbz2                30-Jul-2022 22:16             5700049
lean-3.45.0_0.darwin_17.x86_64.tbz2.rmd160         30-Jul-2022 22:16                 512
lean-3.45.0_0.darwin_18.x86_64.tbz2                30-Jul-2022 20:00             6037691
lean-3.45.0_0.darwin_18.x86_64.tbz2.rmd160         30-Jul-2022 20:00                 512
lean-3.45.0_0.darwin_19.x86_64.tbz2                30-Jul-2022 19:09             6163069
lean-3.45.0_0.darwin_19.x86_64.tbz2.rmd160         30-Jul-2022 19:09                 512
lean-3.45.0_0.darwin_20.arm64.tbz2                 31-Jul-2022 03:21             5742599
lean-3.45.0_0.darwin_20.arm64.tbz2.rmd160          31-Jul-2022 03:21                 512
lean-3.45.0_0.darwin_20.x86_64.tbz2                30-Jul-2022 13:02             6030696
lean-3.45.0_0.darwin_20.x86_64.tbz2.rmd160         30-Jul-2022 13:02                 512
lean-3.45.0_0.darwin_21.arm64.tbz2                 30-Jul-2022 13:00             5733890
lean-3.45.0_0.darwin_21.arm64.tbz2.rmd160          30-Jul-2022 13:00                 512
lean-3.45.0_0.darwin_21.x86_64.tbz2                30-Jul-2022 22:01             6026116
lean-3.45.0_0.darwin_21.x86_64.tbz2.rmd160         30-Jul-2022 22:01                 512
lean-3.46.0_0.darwin_10.x86_64.tbz2                09-Aug-2022 15:17             6235041
lean-3.46.0_0.darwin_10.x86_64.tbz2.rmd160         09-Aug-2022 15:17                 512
lean-3.46.0_0.darwin_12.x86_64.tbz2                09-Aug-2022 15:14             5899818
lean-3.46.0_0.darwin_12.x86_64.tbz2.rmd160         09-Aug-2022 15:14                 512
lean-3.46.0_0.darwin_13.x86_64.tbz2                09-Aug-2022 15:06             5711874
lean-3.46.0_0.darwin_13.x86_64.tbz2.rmd160         09-Aug-2022 15:06                 512
lean-3.46.0_0.darwin_14.x86_64.tbz2                09-Aug-2022 15:14             5710649
lean-3.46.0_0.darwin_14.x86_64.tbz2.rmd160         09-Aug-2022 15:14                 512
lean-3.46.0_0.darwin_15.x86_64.tbz2                09-Aug-2022 15:06             5711717
lean-3.46.0_0.darwin_15.x86_64.tbz2.rmd160         09-Aug-2022 15:06                 512
lean-3.46.0_0.darwin_16.x86_64.tbz2                09-Aug-2022 14:59             5680295
lean-3.46.0_0.darwin_16.x86_64.tbz2.rmd160         09-Aug-2022 14:59                 512
lean-3.46.0_0.darwin_17.x86_64.tbz2                09-Aug-2022 15:16             5700507
lean-3.46.0_0.darwin_17.x86_64.tbz2.rmd160         09-Aug-2022 15:16                 512
lean-3.46.0_0.darwin_18.x86_64.tbz2                09-Aug-2022 15:02             6040395
lean-3.46.0_0.darwin_18.x86_64.tbz2.rmd160         09-Aug-2022 15:02                 512
lean-3.46.0_0.darwin_19.x86_64.tbz2                09-Aug-2022 15:00             6164348
lean-3.46.0_0.darwin_19.x86_64.tbz2.rmd160         09-Aug-2022 15:00                 512
lean-3.46.0_0.darwin_20.arm64.tbz2                 09-Aug-2022 20:53             5741522
lean-3.46.0_0.darwin_20.arm64.tbz2.rmd160          09-Aug-2022 20:53                 512
lean-3.46.0_0.darwin_20.x86_64.tbz2                09-Aug-2022 14:56             6030645
lean-3.46.0_0.darwin_20.x86_64.tbz2.rmd160         09-Aug-2022 14:56                 512
lean-3.46.0_0.darwin_21.arm64.tbz2                 09-Aug-2022 14:48             5734519
lean-3.46.0_0.darwin_21.arm64.tbz2.rmd160          09-Aug-2022 14:48                 512
lean-3.46.0_0.darwin_21.x86_64.tbz2                09-Aug-2022 17:34             6024987
lean-3.46.0_0.darwin_21.x86_64.tbz2.rmd160         09-Aug-2022 17:34                 512
lean-3.47.0_0.darwin_10.x86_64.tbz2                29-Aug-2022 03:34             6244504
lean-3.47.0_0.darwin_10.x86_64.tbz2.rmd160         29-Aug-2022 03:34                 512
lean-3.47.0_0.darwin_12.x86_64.tbz2                29-Aug-2022 03:34             5913415
lean-3.47.0_0.darwin_12.x86_64.tbz2.rmd160         29-Aug-2022 03:34                 512
lean-3.47.0_0.darwin_13.x86_64.tbz2                29-Aug-2022 03:19             5715739
lean-3.47.0_0.darwin_13.x86_64.tbz2.rmd160         29-Aug-2022 03:19                 512
lean-3.47.0_0.darwin_14.x86_64.tbz2                29-Aug-2022 03:34             5716068
lean-3.47.0_0.darwin_14.x86_64.tbz2.rmd160         29-Aug-2022 03:34                 512
lean-3.47.0_0.darwin_15.x86_64.tbz2                29-Aug-2022 03:29             5716240
lean-3.47.0_0.darwin_15.x86_64.tbz2.rmd160         29-Aug-2022 03:29                 512
lean-3.47.0_0.darwin_16.x86_64.tbz2                29-Aug-2022 03:37             5687044
lean-3.47.0_0.darwin_16.x86_64.tbz2.rmd160         29-Aug-2022 03:37                 512
lean-3.47.0_0.darwin_17.x86_64.tbz2                29-Aug-2022 04:46             5706710
lean-3.47.0_0.darwin_17.x86_64.tbz2.rmd160         29-Aug-2022 04:46                 512
lean-3.47.0_0.darwin_18.x86_64.tbz2                29-Aug-2022 03:55             6053085
lean-3.47.0_0.darwin_18.x86_64.tbz2.rmd160         29-Aug-2022 03:55                 512
lean-3.47.0_0.darwin_19.x86_64.tbz2                29-Aug-2022 03:26             6169779
lean-3.47.0_0.darwin_19.x86_64.tbz2.rmd160         29-Aug-2022 03:26                 512
lean-3.47.0_0.darwin_20.arm64.tbz2                 29-Aug-2022 03:05             5749199
lean-3.47.0_0.darwin_20.arm64.tbz2.rmd160          29-Aug-2022 03:05                 512
lean-3.47.0_0.darwin_20.x86_64.tbz2                29-Aug-2022 03:20             6037622
lean-3.47.0_0.darwin_20.x86_64.tbz2.rmd160         29-Aug-2022 03:20                 512
lean-3.47.0_0.darwin_21.arm64.tbz2                 30-Aug-2022 04:04             5742462
lean-3.47.0_0.darwin_21.arm64.tbz2.rmd160          30-Aug-2022 04:04                 512
lean-3.47.0_0.darwin_21.x86_64.tbz2                29-Aug-2022 03:46             6031456
lean-3.47.0_0.darwin_21.x86_64.tbz2.rmd160         29-Aug-2022 03:46                 512
lean-3.48.0_0.darwin_10.x86_64.tbz2                07-Sep-2022 04:29             6248119
lean-3.48.0_0.darwin_10.x86_64.tbz2.rmd160         07-Sep-2022 04:29                 512
lean-3.48.0_0.darwin_12.x86_64.tbz2                07-Sep-2022 04:30             5915719
lean-3.48.0_0.darwin_12.x86_64.tbz2.rmd160         07-Sep-2022 04:30                 512
lean-3.48.0_0.darwin_13.x86_64.tbz2                07-Sep-2022 04:23             5718941
lean-3.48.0_0.darwin_13.x86_64.tbz2.rmd160         07-Sep-2022 04:23                 512
lean-3.48.0_0.darwin_14.x86_64.tbz2                07-Sep-2022 04:29             5720115
lean-3.48.0_0.darwin_14.x86_64.tbz2.rmd160         07-Sep-2022 04:29                 512
lean-3.48.0_0.darwin_15.x86_64.tbz2                07-Sep-2022 04:24             5716999
lean-3.48.0_0.darwin_15.x86_64.tbz2.rmd160         07-Sep-2022 04:24                 512
lean-3.48.0_0.darwin_16.x86_64.tbz2                07-Sep-2022 04:18             5687909
lean-3.48.0_0.darwin_16.x86_64.tbz2.rmd160         07-Sep-2022 04:18                 512
lean-3.48.0_0.darwin_17.x86_64.tbz2                07-Sep-2022 04:31             5706711
lean-3.48.0_0.darwin_17.x86_64.tbz2.rmd160         07-Sep-2022 04:31                 512
lean-3.48.0_0.darwin_18.x86_64.tbz2                07-Sep-2022 04:18             6055160
lean-3.48.0_0.darwin_18.x86_64.tbz2.rmd160         07-Sep-2022 04:18                 512
lean-3.48.0_0.darwin_19.x86_64.tbz2                07-Sep-2022 04:18             6170460
lean-3.48.0_0.darwin_19.x86_64.tbz2.rmd160         07-Sep-2022 04:18                 512
lean-3.48.0_0.darwin_20.arm64.tbz2                 07-Sep-2022 04:06             5749621
lean-3.48.0_0.darwin_20.arm64.tbz2.rmd160          07-Sep-2022 04:06                 512
lean-3.48.0_0.darwin_20.x86_64.tbz2                07-Sep-2022 04:16             6041136
lean-3.48.0_0.darwin_20.x86_64.tbz2.rmd160         07-Sep-2022 04:16                 512
lean-3.48.0_0.darwin_21.arm64.tbz2                 07-Sep-2022 18:23             5745282
lean-3.48.0_0.darwin_21.arm64.tbz2.rmd160          07-Sep-2022 18:23                 512
lean-3.48.0_0.darwin_21.x86_64.tbz2                07-Sep-2022 04:22             6036050
lean-3.48.0_0.darwin_21.x86_64.tbz2.rmd160         07-Sep-2022 04:22                 512