Alfred Wingate 1e9120058f

dev-lang/lci: drop 0.11.2 ...

Signed-off-by: Alfred Wingate <parona@protonmail.com>

2024-01-18 21:33:25 +02:00

..

fstar

dev-lang/fstar: new package; add version 2021.11.27 and 2021.11.30

2021-12-09 05:51:15 +01:00

lci

dev-lang/lci: drop 0.11.2

2024-01-18 21:33:25 +02:00