Package Details: ocaml-fstar

Git Clone URL: (read-only, click to copy)
Package Base: ocaml-fstar
Description: An ML-like language with a type system for program verification.
Upstream URL: None
Licenses: Apache
Submitter: crave
Maintainer: crave
Last Packager: crave
Votes: 1
Popularity: 0.000000
First Submitted: 2018-07-27 09:31 (UTC)
Last Updated: 2018-10-13 09:10 (UTC)

Dependencies (13)

Required by (1)

Sources (1)

Latest Comments

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

What's the difference to ? 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 (UTC)

The latest F* release is this:

catalin.hritcu commented on 2018-10-06 16:14 (UTC) (edited on 2018-10-06 17:17 (UTC) by catalin.hritcu)

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 (UTC) (edited on 2018-10-06 16:15 (UTC) by catalin.hritcu)

After getting unstuck on I got stuck again on

In the process I already discovered that this ocaml-fstar package is missing a build dependency on

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

@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 (UTC)

@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 (UTC)

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