Package Details: fstar-ulib 0.9.6.0-18

Git Clone URL: https://aur.archlinux.org/fstar-ulib.git (read-only)
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: malet
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2018-07-27 09:30
Last Updated: 2018-07-30 10:50

Required by (1)

Sources (0)