conf-autoconfversion
Virtual package relying on autoconf installation
This package can only install if the autoconf command is available on the system.
| Author | https://www.gnu.org/software/autoconf/autoconf.html#maintainer |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | http://www.gnu.org/software/autoconf |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | unixjunkie@sdf.org |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-autoconf/conf-autoconf.0.2/opam |
Required by
- acpc
- alt-ergobuild & (=0.99.1 | >=2.0.0 & <2.3.0)
- alt-ergo-freebuild
- bitvbuild & <1.4
- calendar<2.03.2
- camlbz2=0.7.0
- coccinelle
- comby
- conf-automake
- cpubuild
- ffmpegbuild & dev & >=0.3.0 & <1.0.0~beta1
- fm-simplex-plugin<1.30
- frama-cbuild & <26.0~beta
- frama-c-lannotate<0.2.3
- frama-c-luncov<0.2.1
- frama-c-metacsldev & =0.3
- gappabuild
- gmp-ecmbuild
- hashconsbuild & <1.4.0
- libdashbuild
- liquidsoapdev & >=2.0.0~rc1 & <2.2.0
- ocaml-variantsbuild & >=5.1.1+flambda2 & <5.1.1+options
- ocamldot
- ocamldsort
- ocplib-simplexbuild & <0.5
- ojs-base
- ollvm-tapir
- osdpbuild & >=1.0.0 & <1.1.1
- psmt2-frontendbuild & <0.3.0
- setcorebuild
- stdcompat>=12
- why3build & dev & >=1.2.1
- why3-coqbuild & dev & >=1.3.0
- why3-idebuild & dev & >=1.3.0
- xmldiff<0.7.0
