dune-universe / duniverse-lint Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

He who controls the lint controls the duniverse

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
bin		bin
lib		lib
test		test
.gitignore		.gitignore
.ocamlformat		.ocamlformat
README.md		README.md
dune-project		dune-project
duniverse-lint.opam		duniverse-lint.opam

Repository files navigation

duniverse-lint

Linting tool for dune ports of OPAM packages.

Usage

$ duniverse-lint

Checks

Check that the version of the package ends with +dune
Make sure the opam file of the package uses the dune command

About

He who controls the lint controls the duniverse

opam dune

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages