dune-project 258 B
(lang dune 2.9)
(name pvs_lp_qfo)
(cram enable)
(generate_opam_files true)
(maintainers "dedukti-dev@inria.fr")
(package
(name pvs_lp_qfo)
(synopsis "Transform PVS-Cert encoded lambdapi to solver friendly encodings")
(depends cmdliner yojson lambdapi))