Package Details: ocaml-fstar 0.9.6.0-4

Git Clone URL: https://aur.archlinux.org/ocaml-fstar.git (read-only)
Package Base: ocaml-fstar
Description: An ML-like language with a type system for program verification.
Upstream URL: None
Licenses: Apache
Submitter: crave
Maintainer: None
Last Packager: crave
Votes: 1
Popularity: 0.000471
First Submitted: 2018-07-27 09:31
Last Updated: 2018-10-13 09:10

Latest Comments

catalin.hritcu commented on 2019-10-13 08:48

What's the difference to https://aur.archlinux.org/packages/fstar ? Originally this other package bootstrapped in fsharp, but now it seems to use the OCaml snapshot too.

catalin.hritcu commented on 2019-10-13 08:19

The latest F* release is this: https://github.com/FStarLang/FStar/releases/tag/V0.9.7.0-alpha1

catalin.hritcu commented on 2018-10-06 16:14

Ah, and for now it would actually help if you could change the ulex build dependency to ulex-git, since that package actually works with OCaml 4.07.0. With ulex-git I was finally successful in building your package :)

catalin.hritcu commented on 2018-10-06 16:02

After getting unstuck on https://aur.archlinux.org/packages/ocaml-ppx_deriving/ I got stuck again on https://aur.archlinux.org/packages/ulex/

In the process I already discovered that this ocaml-fstar package is missing a build dependency on https://aur.archlinux.org/packages/ocaml-process-git/

catalin.hritcu commented on 2018-09-25 12:23

@crave: Thanks for the suggestion, but unfortunately running opam init didn't help for me. Can you please confirm that you're able to build ocaml-ppx_deriving with the following packages installed from the arch repos: ocaml-4.07.0-1, ocamlbuild-0.12.0-3, and cppo-1.6.4-1?

crave commented on 2018-09-14 22:18

@catalin.hritcu If I recall correctly the ocaml-ppx_deriving package is quite "unique". I believe it requires you to run opam init for your local user.

catalin.hritcu commented on 2018-09-07 08:26

Interesting package, but with so many moving source dependencies it seems really hard to get this to build, compared to just using opam. After some pain I got stuck on trying to build https://aur.archlinux.org/packages/ocaml-ppx_deriving/