conf-autoconf
  1. Overview
  2. Docs
Virtual package relying on autoconf installation

Install

www.gnu.org Edit opam file

Authors

  1. H
    https://www.gnu.org/software/autoconf/autoconf.html#maintainer

Maintainers

  1. U
    unixjunkie@sdf.org

Description

This package can only install if the autoconf command is available on the system.

Published: 09 Mar 2016

Dependencies (1)

  1. conf-which build

Dev Dependencies

None

Used by (36)

  1. acpc
  2. alt-ergo >= "2.0.0" & < "2.3.0"
  3. alt-ergo-free < "2.3.3"
  4. bitv >= "1.2" & < "1.4"
  5. cairo
  6. calendar < "2.03.1"
  7. camlbz2 >= "0.7.0"
  8. coccinelle >= "1.0.7"
  9. comby
  10. conf-automake
  11. cpu
  12. ffmpeg >= "0.3.0" & < "1.0.0~beta1"
  13. frama-c >= "16.0" & < "26.0~beta"
  14. frama-c-base >= "15.0"
  15. frama-c-e-acsl
  16. frama-c-lannotate
  17. frama-c-luncov
  18. frama-c-metacsl = "0.3"
  19. gappa
  20. gmp-ecm
  21. hashcons >= "1.2"
  22. libdash
  23. liquidsoap >= "2.0.0~rc1"
  24. mlpost < "0.9"
  25. ocamlgraph < "1.8.2"
  26. ocamlviz
  27. ocplib-simplex < "0.5"
  28. osdp >= "1.0.0"
  29. parmap >= "1.0-rc1" & < "1.0-rc10"
  30. psmt2-frontend < "0.3.0"
  31. rashell = "0.2.0"
  32. setcore
  33. why < "2.40"
  34. why3 >= "1.3.0"
  35. why3-coq >= "1.3.0"
  36. why3-ide >= "1.3.0"

Conflicts

None