package conf-time
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)
-
conf-which
build
Dev Dependencies
None
Used by (4)
-
elpi
>= "1.4.0"
-
frama-c
< "21.0" | >= "22.0"
-
msat
= "0.8"
- rocq-prover
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page