diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-02-24 23:17:41 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-02-24 23:17:41 -0500 |
| commit | 7c4a99e4d4de3e9579b0318fd1bb657e7b82f0b7 (patch) | |
| tree | 4c2402d4414090d78c0186941478f13a4f9d34f5 /coqprime/Makefile | |
| parent | f2dc40687111f23af0c5c0efa48399253e8d34fa (diff) | |
Update Coqprime/UList
Ambiguous imports, oh joy! (Coqprime failed to build when Bedrock was in
COQPATH.)
Diffstat (limited to 'coqprime/Makefile')
0 files changed, 0 insertions, 0 deletions