Closed rgrinberg closed 9 years ago
To be able to experiment with this without cloning and manual dependency shuffling.
For now, there is one there:
https://github.com/smondet/dev-opam-repo/blob/master/packages/trakeva/trakeva.master/opam
(the repo can be added as a remote or just wget-ed).
wget
To be able to experiment with this without cloning and manual dependency shuffling.