Maciej Barć
|
b51b6cd343
|
dev-lang/idris2: add schemes threading requirement
Closes: https://bugs.gentoo.org/825430
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-21 21:57:26 +01:00 |
|
Maciej Barć
|
860c53c506
|
dev-lang/idris2: bump to 0.5.1_p20211112
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-12 11:45:58 +01:00 |
|
Maciej Barć
|
e2e4ee9030
|
dev-lang/idris2: move scheme from BDEPEND to RDEPEND
scheme still needed to run idris2 binary
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-12 09:16:26 +01:00 |
|
Maciej Barć
|
01357cba10
|
dev-lang/idris2: fix *DEPEND
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-12 06:29:41 +01:00 |
|
Maciej Barć
|
f19bc995e9
|
dev-lang/idris2: new package; add version 0.5.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
|
2021-11-12 06:24:52 +01:00 |
|