Mode | Name | Size | |
---|---|---|---|
d--------- | AgdaSheaves | 39 | log plain |
d--------- | TotalParserCombinators | 78 | log plain |
d--------- | agda-prelude | 39 | log plain |
d--------- | bitvector | 39 | log plain |
d--------- | categories | 39 | log plain |
d--------- | pretty | 78 | log plain |
index : nixpkgs | |
Downstream nixpkgs tree for Spectrum | Alyssa Ross |
summary refs log tree commit diff |
Mode | Name | Size | |
---|---|---|---|
d--------- | AgdaSheaves | 39 | log plain |
d--------- | TotalParserCombinators | 78 | log plain |
d--------- | agda-prelude | 39 | log plain |
d--------- | bitvector | 39 | log plain |
d--------- | categories | 39 | log plain |
d--------- | pretty | 78 | log plain |