conf-autoconf
Virtual package relying on autoconf installation
Description
This package can only install if the autoconf command is available on the system.
Install
- Published
-
09 Mar 2016
- Maintainers
-
Dependencies
conf-which
build
Reverse Dependencies
alt-ergo
>= "2.0.0" & < "2.3.0"
alt-ergo-free
< "2.3.3"
bitv
>= "1.2" & < "1.4"
calendar
< "2.03.1"
camlbz2
>= "0.7.0"
coccinelle
>= "1.0.7"
ffmpeg
>= "0.3.0" & < "1.0.0~beta1"
frama-c
>= "16.0"
frama-c-base
>= "15.0"
frama-c-metacsl
>= "0.3"
hashcons
>= "1.2"
liquidsoap
>= "2.0.0~rc1"
mlpost
< "0.9"
osdp
>= "1.0.0"
parmap
>= "1.0-rc1" & < "1.0-rc10"
psmt2-frontend
< "0.3.0"
rashell
= "0.2.0"
why
< "2.40"
why3
>= "1.3.0"
why3-coq
>= "1.3.0"
why3-ide
>= "1.3.0"