package conf-time

  1. Overview
  2. No Docs
Virtual package relying on the "time" command

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. P
    POSIX

Maintainers

  1. Gabriel Scherer

Description

This package can only install if the "time" command is installed on the system. It does not enforce having the GNU utility: it may find a BSD time command (BSD, OSX) or a Busybox command (Alpine) that have different options. The only common functionality is "time ".

Added to opam-repository:

Dependencies (1)

  1. conf-which build

Dev Dependencies

None

Used by (3)

  1. elpi
  2. frama-c < "21.0" | >= "22.0"
  3. msat = "0.8"

Conflicts

None