diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:55:09 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:55:09 -0400 |
| commit | a7c3e57cb7c3280dfec3a95b18dec83ee6e6d4f4 (patch) | |
| tree | 40bfe19c8659c16f996acb3fa7fb394625da62d1 /_CoqProject | |
| parent | b74857e6cc90fffe2a07e6bcf414ac4774a145cb (diff) | |
Makefile: build on Arch Linux once again
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions