opam-version: "2.0" maintainer: "Saswat Padhi " authors: "Saswat Padhi " homepage: "https://github.com/SaswatPadhi/ocaml-logicalform/" license: "MIT" bug-reports: "https://github.com/SaswatPadhi/ocaml-logicalform/issues" dev-repo: "git+https://github.com:SaswatPadhi/ocaml-logicalform.git" depends: [ "ocaml" {>= "4.04.0"} "odoc" {with-doc} "jbuilder" {>= "1.0+beta10"} "ppx_sexp_conv" {>= "v0.9" & < "v0.14"} "base" {>= "v0.9" & < "v0.14"} "ocaml-migrate-parsetree" {< "2.0.0"} ] build: [ ["jbuilder" "build" "-p" name "-j" jobs] ] synopsis: "`LogicalForm` provides modules for efficient and intuitive manipulation" description: "of logical expressions." url { src: "https://github.com/SaswatPadhi/ocaml-logicalform/archive/v0.6.0.tar.gz" checksum: [ "sha256=17b2fed5cd3200a884eb70836ad21e4e2933c099e09454eb930f920e736fecee" "md5=a6b2438a2988f3cf565d3326735cfbaf" ] }