Julian Ospald 2c7176d998 Use LabelOptic and add LeanAppState ... Wrt #186		2021-07-18 14:39:49 +02:00
..
ghcup	Use LabelOptic and add LeanAppState	2021-07-18 14:39:49 +02:00
ghcup-gen	Fix Validate	2021-06-07 20:04:55 +02:00