Package Details: fstar-git 20191019-1

Git Clone URL: (read-only, click to copy)
Package Base: fstar-git
Description: A Higher-Order Effectful Language Designed for Program Verification
Upstream URL:
Keywords: F* ML verification
Licenses: Apache
Conflicts: fstar, fstar-bin
Provides: fstar
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 6
Popularity: 0.000000
First Submitted: 2014-10-27 10:48 (UTC)
Last Updated: 2019-10-19 23:55 (UTC)

Dependencies (16)

Required by (1)

Sources (1)

Latest Comments

catalin.hritcu commented on 2017-10-29 18:59 (UTC)

This works again on OCaml 4.05.0, now that the following was fixed

soimort commented on 2016-09-01 21:20 (UTC)

@mdl Fixed. Thanks!

mdl commented on 2016-08-29 10:35 (UTC) Since the PKGBUILD does not use the install target of the makefile, it needs to be updated to copy the proper directories.

soimort commented on 2015-10-09 16:33 (UTC)

Seems the new F* version no longer requires mono or F# as hard dependencies (/opt/fstar/bin/fstar.exe can be built with ocaml instead of mono) I've updated this accordingly.

ngrimm commented on 2015-10-08 16:25 (UTC)

I uploaded a working PKGBUILD at

ngrimm commented on 2015-10-08 16:18 (UTC)

The binary in /usr/bin is not working. Also, I think it would be better to create the standalone ocaml binary instaead of executing fstart through mono.

Ramon commented on 2014-10-27 11:33 (UTC)

z3 is not properly marked as a dependency (neither are mono and fsharp, but I had those :) ).