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

..

aldor

dev-lang/aldor: drop flag-o-matic

2021-09-27 09:08:58 +02:00

ammonite-repl-bin

…

fbc

dev-lang/fbc: Version bump to 1.08.1

2021-09-08 11:37:24 +09:00

fbc-bootstrap

dev-lang/fbc-bootstrap: Version bump to 1.08.1

2021-09-08 11:28:51 +09:00

fennel

dev-lang/fennel: drop old 0.9.1

2021-08-16 13:24:58 +02:00

gleam

…

lean

dev-lang/lean: add info about mathlib-tools

2021-10-20 23:35:14 +02:00

quickjs

…

wren

*/*: drop dead python impls

2021-10-09 22:30:09 +13:00