dune-glob

Glob string matching language supported by dune
Description

dune-glob provides a parser and interpreter for globs as understood by dune language.

Install
Published
24 Nov 2022
Authors
Maintainers
Sources
dune-3.6.1.tbz
sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52
Dependencies
odoc with-doc
stdune = version
dune >= "3.5"
Reverse Dependencies
dune-action-plugin < "3.0.2" | >= "3.6.1"