package conf-autoconf

  1. Overview
  2. Docs
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)

  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 < "1.4.0"
  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" & < "1.1.1"
  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