Merge pull request #28315 from mtzguido/fstar.2025.08.07

fstar.2025.08.07

Author: shonfeder

packages/fstar/fstar.2025.08.07/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.08.07.tar.gz"
+  checksum: [
+    "md5=d1b088182e4cc0753c39a11d042f0837"
+    "sha512=d42966b2c6b5addd132499732a3a6eabc555a53218941dba7e12a2001ed7ebfe90a15a68bd6a482d6338da26a47bc80108b0124e484e24846f6f30ecb9845bfe"
+  ]
+}