package conf-autoconf

  1. Overview
  2. No 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 (43)

  1. acpc
  2. alt-ergo = "0.99.1" | >= "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. fm-simplex-plugin < "1.30"
  14. frama-c >= "16.0" & < "26.0~beta"
  15. frama-c-base >= "15.0"
  16. frama-c-e-acsl
  17. frama-c-lannotate
  18. frama-c-luncov
  19. frama-c-metacsl = "0.3"
  20. gappa
  21. gmp-ecm
  22. hashcons
  23. libdash
  24. liquidsoap >= "2.0.0~rc1" & < "2.2.0"
  25. mlpost < "0.9"
  26. ocamldot >= "1.1"
  27. ocamldsort >= "0.16.0"
  28. ocamlgraph < "1.8.2"
  29. ocamlviz
  30. ocplib-simplex < "0.5"
  31. ojs-base >= "0.6.0"
  32. ollvm-tapir
  33. osdp >= "1.0.0"
  34. parmap >= "1.0-rc1" & < "1.0-rc10"
  35. psmt2-frontend < "0.3.0"
  36. rashell = "0.2.0"
  37. setcore
  38. stdcompat >= "12"
  39. why < "2.40"
  40. why3 >= "1.2.1"
  41. why3-coq >= "1.3.0"
  42. why3-ide >= "1.3.0"
  43. xmldiff = "0.6.0"

Conflicts

None