| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-11 | aliases : remove bug introduced in previous commit | Quentin Aristote | |
| 2021-12-11 | pinDerivations : add option to specify filenames | Quentin Aristote | |
| 2021-12-11 | add pinDerivations option | Quentin Aristote | |
| 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 | |
