package conf-findutils

  1. Overview
  2. Docs
Virtual package relying on findutils

Install

Dune Dependency

Authors

Maintainers

Description

This package can only install if the findutils binary is installed on the system.

Published: 13 Oct 2019

Dependencies

None

Dev Dependencies

None

Used by (5)

  1. coq < "8.17.0"
  2. coqide >= "8.10.0"
  3. ez-conf-lib
  4. lem
  5. minios-xen

Conflicts

None