Project

General

Profile

« Previous | Next » 

Revision 76aa0d9e

Added by LĂ©lio Brun over 1 year ago

include_ is now include with dune 2.9

View differences:

lustrec.opam
13 13
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
14 14
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
15 15
depends: [
16
  "dune" {>= "2.8"}
16
  "dune" {>= "2.9"}
17 17
  "conf-gmp"
18 18
  "ocamlgraph"
19 19
  "menhir"

Also available in: Unified diff