| Mode | Name | Size | |
|---|---|---|---|
| d--------- | 1lab | 39 | logplain |
| d--------- | agda-categories | 39 | logplain |
| d--------- | agda-prelude | 39 | logplain |
| d--------- | agda2hs-base | 39 | logplain |
| d--------- | agdarsec | 39 | logplain |
| d--------- | cubical-mini | 39 | logplain |
| d--------- | cubical | 39 | logplain |
| d--------- | functional-linear-algebra | 39 | logplain |
| d--------- | generics | 39 | logplain |
| d--------- | iowa-stdlib | 39 | logplain |
| d--------- | standard-library | 39 | logplain |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |