fstar.2025.02.17

Author: chandradeepdey

packages/fstar/fstar.2025.02.17/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"
+  "ppxlib" {>= "0.27.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.02.17.tar.gz"
+  checksum: [
+    "md5=c9e206803179a04c492f791bf601afe8"
+    "sha512=57d972e53edf13f765949625f157b5ecc8ba9757eec14f9a101359fe858cc181c0d9a6f5e4579500da7776ff2e6b15046b14bba5d0d5b7bb961d622f33237c9a"
+  ]
+}