diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:48 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:48 +0100 |
| commit | 03aca014ef8f6ac32e301244fdcaaf1306d3584e (patch) | |
| tree | ec52e478ed863979aade33d824b296212f65cab9 /default.nix | |
| parent | fe373a85eada4ea3766776398edc045fef70abd1 (diff) | |
debug coq support
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions