Package Details: karamel-git fstar.v2022.11.19.r846.g71facac.karamel.v1.0.0.r421.gbd359d8-1

Git Clone URL: https://aur.archlinux.org/karamel-git.git (read-only, click to copy)
Package Base: karamel-git
Description: a tool for extracting low-level F* programs to readable C code
Upstream URL: https://github.com/FStarLang/karamel
Licenses: Apache-2.0
Conflicts: fstar
Submitter: crave
Maintainer: None
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2023-03-21 14:26 (UTC)
Last Updated: 2023-03-21 14:26 (UTC)