kremlinversion

Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled

AuthorJonathan Protzenko <jonathan.protzenko@gmail.com>
LicenseApache-2.0
Published
Homepagehttps://github.com/fstarlang/kremlin
Issue Trackerhttps://github.com/FStarLang/karamel/issues
Maintainerprotz@microsoft.com
Dependencies
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/kremlin/kremlin.transition/opam
No package is dependent