package conf-time

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

Install

Dune 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 (6)

  1. bap >= "0.9.4" & < "1.0.0"
  2. bitstring < "3.0.0"
  3. cstruct >= "1.6.0" & < "3.0.0"
  4. elpi >= "1.4.0"
  5. frama-c >= "19.1" & < "21.0" | >= "22.0"
  6. msat = "0.8"

Conflicts

None