| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq.nix | 2108 | logplain |
| -rw-r--r-- | default.nix | 6079 | logplain |
| -rw-r--r-- | golang.nix | 528 | logplain |
| -rw-r--r-- | haskell.nix | 2214 | logplain |
| -rw-r--r-- | latex.nix | 3083 | logplain |
| -rw-r--r-- | nix.nix | 278 | logplain |
| -rw-r--r-- | ocaml.nix | 4362 | logplain |
| -rw-r--r-- | python.nix | 1594 | logplain |
| -rw-r--r-- | rust.nix | 731 | logplain |
| -rw-r--r-- | why3.nix | 1897 | logplain |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |