Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | default.nix | 2245 | logplain |
-rw-r--r-- | hls-brittany.nix | 1463 | logplain |
-rw-r--r-- | hls-hlint-plugin.nix | 1164 | logplain |
-rw-r--r-- | hls-tactics-plugin.nix | 1268 | logplain |
-rwxr-xr-x | update.sh | 2536 | logplain |
-rw-r--r-- | withWrapper.nix | 2390 | logplain |