dune-glob
  1. Overview
  2. Docs
Glob string matching language supported by dune

Install

Authors

Maintainers

Sources

dune-3.8.0.tbz
sha256=f7e2970bfab99c7766ff1a05deff5ad7f82cb2471abca6f72449572293f5f6b4
sha512=3b3a566f63842c314de2c0a660c5f7714bc90f8303c82d82e3021aee84980eff1886d15c9b9d4ea0047a411d799fb39d5f2ea70a92bdeb629e00d3d5d5f2d994

Description

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

Published: 31 May 2023

Dependencies (5)

  1. dune-private-libs = version
  2. ordering
  3. dyn
  4. stdune = version
  5. dune >= "3.5"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. dune-action-plugin < "3.0.2" | >= "3.8.0"

Conflicts

None