fstar.2025.09.04

Author: mtzguido

packages/fstar/fstar.2025.09.04/opam

@@ -0,0 +1,52 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [
+  "Nik Swamy <[email protected]>"
+  "Jonathan Protzenko <[email protected]>"
+  "Tahina Ramananandro <[email protected]>"
+]
+homepage: "http://fstar-lang.org"
+license: "Apache-2.0"
+depends: [
+  "ocaml" {>= "4.14.0"}
+  "batteries"
+  "zarith" {>= "1.14"}
+  "stdint"
+  "yojson"
+  "dune" { >= "3.8.0"}
+  "memtrace" {>= "0.2.3"}
+  "menhirLib"
+  "menhir" {build & >= "20230415"}
+  "mtime" {>= "2.1.0"}
+  "pprint"
+  "sedlex" {>= "3.5" }
+  "ppxlib" {>= "0.36.0" }
+  "process"
+  "ppx_deriving" {build}
+  "ppx_deriving_yojson" {build}
+]
+depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
+build: [
+  [make "-j" jobs "ADMIT=1"]
+]
+install: [
+  [make "PREFIX=%{prefix}%" "install"]
+]
+post-messages: [
+  """
+F* requires specific versions of Z3 to work correctly, and will refuse to run
+if the version string does not match. You should have z3-4.8.5 and z3-4.13.3
+in your $PATH. For details, see
+https://github.com/FStarLang/FStar/blob/master/INSTALL.md#runtime-dependency-particular-version-of-z3.
+""" {success}
+]
+dev-repo: "git+https://github.com/FStarLang/FStar"
+bug-reports: "https://github.com/FStarLang/FStar/issues"
+synopsis: "Verification system for effectful programs"
+url {
+  src: "https://github.com/FStarLang/FStar/archive/refs/tags/v2025.09.04.tar.gz"
+  checksum: [
+    "md5=83129eb44c7148570b93c8c00de93921"
+    "sha512=9c4054eb3e1074a12a086c34084d59d6804e13fbab428c45c4d1e6389a9b984e4639659b6aa40447a7dbe62bda60ed451fdbbb6bb0eb5af221261f460cb28422"
+  ]
+}