package conf-time

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

Install

dune-project
 Dependency

Authors

Maintainers

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

Published: 16 Jul 2017

Dependencies (1)

  1. conf-which build

Dev Dependencies

None

Used by (4)

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

Conflicts

None

OCaml

Innovation. Community. Security.