diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 18:45:27 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 18:45:27 +0100 |
| commit | e7f7acb536f827628316a16d5429fd2ff4331671 (patch) | |
| tree | 69c7327dcbf95ce79fafa8e7988c3aed2840e9f3 /modules/coq.nix | |
| parent | c2bbd32ad4f00316e19b3b3c045c159215e21942 (diff) | |
add pinDerivations option
Diffstat (limited to 'modules/coq.nix')
0 files changed, 0 insertions, 0 deletions