this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "protz@microsoft.com"
3authors: "Jonathan Protzenko <jonathan.protzenko@gmail.com>"
4homepage: "https://github.com/fstarlang/kremlin"
5license: "Apache-2.0"
6depends: [
7 "karamel"
8]
9synopsis: "Virtual package for the kremlin package now renamed into karamel. Can be safely uninstalled"
10bug-reports: "https://github.com/FStarLang/karamel/issues"