| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build-idris.nix | 5042 | logplain |
| -rw-r--r-- | default.nix | 232 | logplain |
| -rw-r--r-- | idris2-api.nix | 577 | logplain |
| -rw-r--r-- | idris2-lsp.nix | 1592 | logplain |
| -rw-r--r-- | pack.nix | 5423 | logplain |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |