package conf-time
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)
-
conf-which
build
Dev Dependencies
None
Used by (4)
- elpi
-
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