Search Criteria
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) |