Revision b9e707e8
Added by Lélio Brun over 2 years ago
| 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
forgot to generate opam file