Files
guru/dev-lang
Maciej Barć 1a977dcf40 dev-lang/lean: fix build type and flags
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
2021-10-22 00:58:05 +02:00
..
2021-09-27 09:08:58 +02:00
2021-09-08 11:37:24 +09:00
2021-08-16 13:24:58 +02:00
2021-06-18 08:27:16 +01:00
2021-10-09 22:30:09 +13:00