| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build-idris.nix | 2346 | log plain blame |
| -rw-r--r-- | default.nix | 439 | log plain blame |
| -rw-r--r-- | idris2-lsp.nix | 1332 | log plain blame |
| -rw-r--r-- | idris2.nix | 3224 | log plain blame |
| -rw-r--r-- | tests.nix | 1770 | log plain blame |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |