package conf-findutils
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 (6)
-
coq
< "8.17.0" -
coqide
>= "8.10.0" - ez-conf-lib
- lem
- minios-xen
- rocqide
Conflicts
None
On This Page