dev-lang/fstar
Verification system for effectful programs
Screenshots
-
fstar-2021.11.27~amd64+ocamlopt ocamlopt
View 
Download 
Browse License: Apache-2.0 Overlay: src_prepare-overlay
ChangeLog
commit 137af19a898a5357c5be58bd2457db5f404144fa
Author: Maciej Barć <xgqt@gentoo.org>
Date: Thu Dec 9 04:49:24 2021 +0100
dev-lang/fstar: new package; add version 2021.11.27 and 2021.11.30
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Author: Maciej Barć <xgqt@gentoo.org>
Date: Thu Dec 9 04:49:24 2021 +0100
dev-lang/fstar: new package; add version 2021.11.27 and 2021.11.30
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>