package conf-findutils

  1. Overview
  2. Docs
Virtual package relying on findutils

Install 

dune-project
 Dependency

www.gnu.org Edit opam file Versions (1)

Authors

  1. G
    GNU Project

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. rocqide

Conflicts

None