| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq.nix | 1756 | logplain |
| -rw-r--r-- | default.nix | 4379 | logplain |
| -rw-r--r-- | golang.nix | 521 | logplain |
| -rw-r--r-- | latex.nix | 2927 | logplain |
| -rw-r--r-- | nix.nix | 278 | logplain |
| -rw-r--r-- | ocaml.nix | 3257 | logplain |
| -rw-r--r-- | python.nix | 1594 | logplain |
| -rw-r--r-- | why3.nix | 1410 | logplain |
 |
index : nix/venv-manager | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |