diff options
author | Jason Gross <jgross@mit.edu> | 2016-12-08 13:12:39 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-12-08 13:12:39 -0500 |
commit | 0901e4b43842c6b0266bb796c842cbcc21880776 (patch) | |
tree | e0e65222f5d16fef67e94db6125ba793e8eeb729 /coqprime-8.4 | |
parent | 7b34feb7cffb3a1a83edd1c270260aa7057f34bd (diff) |
More travis fixups for package installation
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions