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 |
|
Maciej Barć
|
7c7d1cb415
|
dev-lang/lean: remove unnecessary test flag
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-22 00:24:17 +02:00 |
|
Maciej Barć
|
46c0040634
|
dev-lang/lean: exclude style_check test
Closes: https://bugs.gentoo.org/819093
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-21 16:14:04 +02:00 |
|
Alessandro Barbieri
|
56d5f40d5d
|
dev-lang/lean: add 3.34.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2021-10-21 16:12:28 +02:00 |
|