add z3 dependency

This commit is contained in:
Frédéric Bour 2020-04-03 10:27:10 +02:00
parent cf7b20cec5
commit 0d643aa97c
1 changed files with 1 additions and 2 deletions

View File

@ -1,13 +1,12 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "Z3 Type Layer: a typed interface to Z3"
description: "TODO"
maintainer: ["fred@tarides.com"]
authors: ["Frédéric Bour"]
license: "MIT"
homepage: "https://github.com/let-def/ztl"
bug-reports: "https://github.com/let-def/ztl/issues"
depends: ["grenier" "dune"]
depends: ["grenier" "z3" "dune"]
build: [
["dune" "subst"] {pinned}
[