Opam Package dolmen_bin.0.5

Package info

opam-namedolmen_bin
opam-version0.5
synopsisA linter for logic languages
description The dolmen binary is an instantiation of the Dolmen library to provide a binary to easily parse and type files used in automated deduction.
authors
  • Guillaume Bury <guillaume.bury@gmail.com>
homepagehttps://github.com/Gbury/dolmen
licenseBSD-2-Clause
changes-fileCHANGES.md
readme-fileREADME.md
deps (8)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

dolmen_bin

Package files

man/man1/dolmen.1
lib/dolmen_bin/opam
lib/dolmen_bin/dune-package
lib/dolmen_bin/META
lib/dolmen_bin
doc/dolmen_bin/README.md
doc/dolmen_bin/LICENSE
doc/dolmen_bin/CHANGES.md
doc/dolmen_bin
bin/dolmen