3 Commits

Author SHA1 Message Date
Jakub Čábera
95e274e6a2 lean-cli: Update to version 0.24.4 2021-05-10 12:37:36 +02:00
Jakub Čábera
00f468ef89 lean-cli: Update to version 0.24.3 2021-04-15 05:50:59 +02:00
batkiz
90b5a8b5f9
lean-cli: add version 0.24.2 (#1648)
* lean-cli: add version 0.24.1

* Update lean-cli.json

* lean-cli: update to version 0.24.2

Co-authored-by: Chawye Hsu <chawyehsu@hotmail.com>
2021-01-21 07:33:22 -08:00