| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq.nix | 1756 | logplain |
| -rw-r--r-- | default.nix | 6060 | logplain |
| -rw-r--r-- | golang.nix | 521 | logplain |
| -rw-r--r-- | latex.nix | 3066 | logplain |
| -rw-r--r-- | nix.nix | 278 | logplain |
| -rw-r--r-- | ocaml.nix | 4363 | logplain |
| -rw-r--r-- | python.nix | 1594 | logplain |
| -rw-r--r-- | rust.nix | 731 | logplain |
| -rw-r--r-- | why3.nix | 1909 | logplain |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |