conf-time

Virtual package relying on the "time" command
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 ".

Install
Published
16 Jul 2017
Authors
Maintainers
Dependencies
Reverse Dependencies
bap
>= "0.9.4" & < "1.0.0"
bitstring
< "3.0.0"
cstruct
>= "1.6.0" & < "3.0.0"
elpi
>= "1.4.0"
frama-c
>= "19.1" & < "21.0" | >= "22.0"
msat
= "0.8"