1451a52a38
I haven't been doing any maintenance for a long time now and not only do I get notified, it also creates a fake impression that all these packages had at least one maintainer when in practice they had none. |
||
|---|---|---|
| .. | ||
| agda-base | ||
| agda-iowa-stdlib | ||
| agda-prelude | ||
| Agda-Sheaves | ||
| agda-stdlib | ||
| bitvector | ||
| categories | ||
| pretty | ||
| TotalParserCombinators | ||