{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["devel"],"comment":"Library for writing deduction and logic languages in Objective Caml","compare":null,"dependentCount":null,"description":"The dolmen library for OCaml provides modules for parsing,\ntype-checking and main loop controling.\n\nThe dolmen binary allows to parse and type-check input against a\nlanguage specification.\n\nDolmen comes with a LSP server implementation.","flavors":[],"html":"https://daemonports.org/dragonfly/devel/ocaml-dolmen/","kind":"port","lastUpdate":null,"license":["BSD2CLAUSE"],"maintainer":"freebsd@dev.thsi.be","name":"ocaml-dolmen","newest":true,"newestVersion":"0.9","noVulnData":false,"origin":"devel/ocaml-dolmen","otherSystems":[{"maintainer":"freebsd@dev.thsi.be","newest":true,"origin":"devel/ocaml-dolmen","path":"/devel/ocaml-dolmen/","system":"FreeBSD","version":"0.9_2"},{"maintainer":"freebsd@dev.thsi.be","newest":true,"noVulnData":true,"origin":"devel/ocaml-dolmen","path":"","system":"GhostBSD","version":"0.9_2"}],"packages":null,"pkgName":"ocaml-dolmen-0.9_2","related":["devel/ocaml-lsp"],"repository":"DPorts","requiredBy":["math/alt-ergo"],"requiredByCount":1,"runDepends":["devel/libev","devel/menhir","devel/ocaml-fmt","devel/ocaml-gen","devel/ocaml-linol","devel/ocaml-logs","devel/ocaml-lsp","devel/ocaml-pp_loc","devel/ocaml-ppx_deriving","devel/ocaml-ppx_hash","devel/ocaml-ppx_yojson_conv_lib","devel/ocaml-uutf","lang/ocaml","math/gmp","math/ocaml-farith","textproc/ocaml-spelll"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"0.9_2","versions":null,"vulnerabilities":null,"www":"https://github.com/Gbury/dolmen"}