| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build-idris.nix | 2745 | log plain blame |
| -rw-r--r-- | default.nix | 439 | log plain blame |
| -rw-r--r-- | idris2-lsp.nix | 1603 | log plain blame |
| -rw-r--r-- | idris2.nix | 3252 | 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 |