sail/coq-sail.opam.coq, branch sail2 Formal specification language for ISAs Rename coq-sail opam file so that pinning works 2020-06-23T14:22:43+00:00 Brian Campbell 2020-06-23T14:22:43+00:00 a76ee971789a074c7b262d583e14a703a143a372 






Prepare Coq library for packaging
2020-06-10T20:38:06+00:00

Brian Campbell

2020-06-10T20:33:09+00:00

d2b4a7a1d654cf8f315e2471b1470506255f3d68

- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package





- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package