kremlinversion
Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled
Author | Jonathan Protzenko <jonathan.protzenko@gmail.com> |
---|---|
License | Apache-2.0 |
Published | |
Homepage | https://github.com/fstarlang/kremlin |
Issue Tracker | https://github.com/FStarLang/karamel/issues |
Maintainer | protz@microsoft.com |
Dependencies | |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/kremlin/kremlin.transition/opam |
No package is dependent