mirage/opam-repo-dev — pull request #5 by mor1 (2012-08-07 22:25:55+00:00)
Title: correct configure lines

per cl-mirage discussion, fixed configure lines in re and uri (and tweaked readability of .opam for crypto_kit)