# This file is generated by dune, edit dune-project instead opam-version: "2.0" synopsis: "An implementation of The Lambda-Pi Modulo Theory" description: "An implementation of The Lambda-Pi Modulo Theory" maintainer: ["dedukti-dev@inria.fr"] authors: ["dedukti-dev@inria.fr"] license: "CECILL-B" homepage: "https://github.com/Deducteam/Dedukti" bug-reports: "https://github.com/Deducteam/Dedukti/issues" depends: [ "dune" {>= "2.7"} "ocaml" {>= "4.13.1"} "cmdliner" {>= "1.1.0"} "tezt" {with-test & >= "4.0.0"} "menhir" {>= "20180528"} "odoc" {with-doc} ] build: [ ["dune" "subst"] {dev} [ "dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc} ] ] dev-repo: "git+https://github.com/Deducteam/Dedukti.git"