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
Dependencies
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" & < "26.0~beta"
frama-c-base
>= "15.0"
hashcons
>= "1.2"
liquidsoap
>= "2.0.0~rc1"
mlpost
< "0.9"
osdp
>= "1.0.0"
parmap
>= "1.0-rc1" & < "1.0-rc10"
rashell
= "0.2.0"
why
< "2.40"
why3
>= "1.3.0"
why3-coq
>= "1.3.0"
why3-ide
>= "1.3.0"