| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build-idris.nix | 5042 | logstatsplain |
| -rw-r--r-- | default.nix | 232 | logstatsplain |
| -rw-r--r-- | idris2-api.nix | 577 | logstatsplain |
| -rw-r--r-- | idris2-lsp.nix | 1592 | logstatsplain |
| -rw-r--r-- | pack.nix | 5423 | logstatsplain |
 |
index : nixpkgs | |
| Nixpkgs mirror | NixOS |
| summaryrefslogtreecommitdiffstats |