Package Details: fstar-ulib 0.9.6.0-18

Git Clone URL: https://aur.archlinux.org/fstar-ulib.git (read-only, click to copy)
Package Base: fstar-ulib
Description: compiles the ulib component of F*
Upstream URL: https://www.fstar-lang.org/
Licenses: Apache-2.0
Submitter: crave
Maintainer: crave
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2018-07-27 09:30 (UTC)
Last Updated: 2018-07-30 10:50 (UTC)

Dependencies (3)

Required by (0)

Sources (0)