Project

General

Profile

« Previous | Next » 

Revision b9e707e8

Added by LĂ©lio Brun over 2 years ago

forgot to generate opam file

View differences:

lustrec.opam
14 14
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
15 15
depends: [
16 16
  "dune" {>= "2.8"}
17
  "ocamlgraph"
18
  "menhir"
19
  "zarith"
20
  "dune-site"
17 21
  "odoc" {with-doc}
18 22
]
23
depopts: ["z3" "yojson"]
19 24
build: [
20 25
  ["dune" "subst"] {dev}
21 26
  [

Also available in: Unified diff