Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lustrec-enable-zustre.opam @ 9b0432bc

History | View | Annotate | Download (471 Bytes)

1 9c4cc944 Corentin Lauverjat
opam-version: "2.0"
2
version: "1.7"
3
synopsis: "Zustre verifier plugin for lustrec"
4
maintainer: ["Pierre-Loic Garoche <ploc@garoche.net>"]
5
authors: [
6
  "Pierre-Loic Garoche <ploc@garoche.net>"
7
  "Xavier Thirioux <thirioux@enseeiht.fr>"
8
]
9
license: "LGPL-2.1-only"
10
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
11
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
12
depends: [
13
  "z3" {= "4.8.1"} (* for the zustre plugin *)
14
  "yojson"
15
]