| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-11 | correct description of nativeBuildInputs | Quentin Aristote | |
| 2021-12-06 | import the why3 module | Quentin Aristote | |
| 2021-12-03 | initial commit | Quentin Aristote | |
 |
index : nix/venv-manager | |
| (unmaintained) Modular Nix shell. |
| summaryrefslogtreecommitdiff |