Package Details: fstar-git 20191019-1

Git Clone URL: https://aur.archlinux.org/fstar-git.git (read-only, click to copy)
Package Base: fstar-git
Description: A Higher-Order Effectful Language Designed for Program Verification
Upstream URL: https://fstar-lang.org/
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
Last Updated: 2019-10-19 23:55

Dependencies (16)

Required by (2)

Sources (1)

Latest Comments

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

This works again on OCaml 4.05.0, now that the following was fixed https://github.com/FStarLang/FStar/pull/1302

soimort commented on 2016-09-01 21:20

@mdl Fixed. Thanks!

mdl commented on 2016-08-29 10:35

https://github.com/FStarLang/FStar/issues/648

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

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

I uploaded a working PKGBUILD at http://pastebin.com/fnFbaeDc

ngrimm commented on 2015-10-08 16:18

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

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

Ramon commented on 2014-10-27 11:33

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