| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-09-21 | home: venv-manager: don't pin derivations by default | Quentin Aristote | |
| 2022-04-08 | disable coqIde by default and coq loading in why3 | Quentin Aristote | |
| 2022-02-13 | improve default venv-manager config | Quentin Aristote | |
| 2022-02-06 | venv-manager : latex : add koma as default package | Quentin Aristote | |
| 2021-12-11 | enable pinning of shell derivations | Quentin Aristote | |
| 2021-12-11 | set default editor in why3 | Quentin Aristote | |
| 2021-12-03 | move the source of venv-manager to the ./config dir | Quentin Aristote | |
 |
index : precision-3571 | |
| NixOS configuration for a Dell Precision 3571. |
| summaryrefslogtreecommitdiff |