diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 19:31:49 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-17 19:31:49 +0000 |
| commit | 31176813d3f18db6c7f76257be416b7b8b60b92d (patch) | |
| tree | 0907a25d4182c123a76900752121dc9538b36f34 /coqup.opam | |
| parent | 1d7a8f8e795d2fac612f1730a70c3d69eddb2f45 (diff) | |
| download | vericert-31176813d3f18db6c7f76257be416b7b8b60b92d.tar.gz vericert-31176813d3f18db6c7f76257be416b7b8b60b92d.zip | |
Fix makefile and add travis build
Diffstat (limited to 'coqup.opam')
0 files changed, 0 insertions, 0 deletions