package conf-time

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

Install

github.com Edit opam file

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

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