package conf-findutils

  1. Overview
  2. Docs
Virtual package relying on findutils

Install

www.gnu.org Edit opam file

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 (4)

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

Conflicts

None