gentoo.mahdi.cz
dev-lang
:fstar
Verification system for effectful programs
https://www.fstar-lang.org
fstar-2021.11.27
Apache-2.0
download
~amd64
src_prepare-overlay