Maciej Barć
|
be2c39fcda
|
dev-lang/lean: bump to 3.35.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-05 09:30:48 +01:00 |
|
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 |
|
Maciej Barć
|
cb04649b4c
|
dev-lang/lean: add subslot
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-21 00:06:16 +02:00 |
|
Maciej Barć
|
a98873df4c
|
dev-lang/lean: add info about mathlib-tools
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-20 23:35:14 +02:00 |
|
Maciej Barć
|
b206aa4fe3
|
dev-lang/lean: add version 3.33.0
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-10-19 23:41:00 +02:00 |
|