diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-09-25 12:00:20 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-09-25 12:00:20 +0200 |
| commit | 672023ac3ae964e7b08d14d8e42c14d778bb7889 (patch) | |
| tree | ebad8ec8fc731b13e1cb73ea10fc35dfb7cfa01a /modules/coq.nix | |
| parent | 5b030b7de57dbca1b2b9f5f93aeb53553922c47a (diff) | |
pinDerivations: explain it is useless with nix-direnv
Diffstat (limited to 'modules/coq.nix')
0 files changed, 0 insertions, 0 deletions