diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 12:38:37 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 12:38:37 +0100 |
| commit | 29cd1983c29674f5282d79cb95cac68a0b674df3 (patch) | |
| tree | 033d3d1b63b42fbbd31120c35f2b3c68bd1ea5a9 /modules/coq.nix | |
| parent | 53157ecfd2003007807cfd5a80f53d204dab9923 (diff) | |
| parent | 744c184ae454326c90b6f75faa37455d3299d3d9 (diff) | |
Merge branch 'master' into why3
Diffstat (limited to 'modules/coq.nix')
0 files changed, 0 insertions, 0 deletions