sail/descr, branch sail2 Formal specification language for ISAs Update opam file to opam 2 2020-06-03T13:14:30+00:00 Alasdair 2020-06-03T13:13:59+00:00 ef343450c407d8c7e3ad4d94401772ad040834e6 






Add a new SHARE_DIR argument to use when doing opam build. For non-opam builds this defaults to git root.
2018-04-26T14:12:24+00:00

Robert Norton

2018-04-26T14:12:24+00:00

0ee8e4d2dd1958d9a1aa45fbe8f67861d18e548c