Package Details: kremlin 0.9.6.0-2

Git Clone URL: https://aur.archlinux.org/kremlin.git (read-only)
Package Base: kremlin
Description: a tool for extracting low-level F* programs to readable C code
Upstream URL: https://github.com/FStarLang/kremlin
Licenses: Apache-2.0
Submitter: crave
Maintainer: crave
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2018-07-27 09:31
Last Updated: 2018-07-29 17:12

Latest Comments

crave commented on 2018-10-01 19:04

I've tried hard to get kremlin to work, but OCaml was too strong. I encourage you to take up my prior work - I'd greatly appreciate to once say yay kremlin.