package conf-autoconf
Virtual package relying on autoconf installation
Install
Dune Dependency
Authors
Maintainers
Description
This package can only install if the autoconf command is available on the system.
Published: 09 Mar 2016
Dependencies (1)
-
conf-which
build
Dev Dependencies
None
Used by (44)
- acpc
-
alt-ergo
= "0.99.1" | >= "2.0.0" & < "2.3.0"
-
alt-ergo-free
< "2.3.3"
-
bitv
>= "1.2" & < "1.4"
- cairo
-
calendar
< "2.03.1"
-
camlbz2
= "0.7.0"
-
coccinelle
>= "1.0.7"
- comby
- conf-automake
- cpu
-
ffmpeg
>= "0.3.0" & < "1.0.0~beta1"
-
fm-simplex-plugin
< "1.30"
-
frama-c
>= "16.0" & < "26.0~beta"
-
frama-c-base
>= "15.0"
- frama-c-e-acsl
-
frama-c-lannotate
< "0.2.3"
-
frama-c-luncov
< "0.2.1"
-
frama-c-metacsl
= "0.3"
- gappa
- gmp-ecm
-
hashcons
< "1.4.0"
- libdash
-
liquidsoap
>= "2.0.0~rc1" & < "2.2.0"
-
mlpost
< "0.9"
-
ocaml-variants
>= "5.1.1+flambda2" & < "5.1.1+options"
-
ocamldot
>= "1.1"
- ocamldsort
-
ocamlgraph
< "1.8.2"
- ocamlviz
-
ocplib-simplex
< "0.5"
-
ojs-base
>= "0.6.0"
- ollvm-tapir
-
osdp
>= "1.0.0" & < "1.1.1"
-
parmap
>= "1.0-rc1" & < "1.0-rc10"
-
psmt2-frontend
< "0.3.0"
-
rashell
= "0.2.0"
- setcore
-
stdcompat
>= "12"
-
why
< "2.40"
-
why3
>= "1.2.1"
-
why3-coq
>= "1.3.0"
-
why3-ide
>= "1.3.0"
-
xmldiff
= "0.6.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page