Revision 97d4e95e
Added by Lélio Brun over 3 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 |
"conf-gmp" |
|
| 17 | 18 |
"ocamlgraph" |
| 18 | 19 |
"menhir" |
| 19 | 20 |
"zarith" |
Also available in: Unified diff
add gmp dep