diff options
| author | Cyril Cohen | 2020-06-09 06:27:19 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-09 06:27:19 +0200 |
| commit | 226a0f5ec8d470461eb708000d7875c2a24bdb1f (patch) | |
| tree | 805fe2e3ff31c9741ae0ded3cd7ab24b7068f60d /default.nix | |
| parent | 6784363d60493b8ec154bbf1e827ec677d6b5921 (diff) | |
| parent | 8006cbf40eeb017aacb3ecaa8c4538f9a5aaa3bf (diff) | |
Merge pull request #532 from CohenCyril/silence-8.12-warnings
fix coq 8.12 warnings
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions