| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Agda-Sheaves | 39 | logstatsplain |
| d--------- | TotalParserCombinators | 78 | logstatsplain |
| d--------- | agda-base | 39 | logstatsplain |
| d--------- | agda-iowa-stdlib | 39 | logstatsplain |
| d--------- | agda-prelude | 39 | logstatsplain |
| d--------- | agda-stdlib | 39 | logstatsplain |
| d--------- | bitvector | 39 | logstatsplain |
| d--------- | categories | 39 | logstatsplain |
| d--------- | pretty | 78 | logstatsplain |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |