Versions Packages Information History Related Badges Report

Versions for fstar

Repository Package name Version Category Maintainer(s)
AOSC fstar 0.9.6.0 cli-mono jeffbai@aosc.xyz
AUR fstar-git 20180518 - soimort@aur
AUR fstar 0.9.6.0 - soimort@aur
AUR fstar-bin 0.9.6.0 - soimort@aur
Chocolatey FStar 0.9.6.001 - fallback-mnt-chocolatey@repology
Homebrew fstar 0.9.6.0 - fallback-mnt-homebrew@repology
Linuxbrew fstar 0.9.6.0 - fallback-mnt-linuxbrew@repology
nixpkgs stable fstar 0.9.6.0 - gebner@gebner.org
nixpkgs unstable fstar 0.9.6.0 - gebner@gebner.org

Absent in repositories