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 (44)

  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 < "0.2.3"
  18. frama-c-luncov < "0.2.1"
  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. ocaml-variants >= "5.1.1+flambda2" & < "5.1.1+options"
  27. ocamldot >= "1.1"
  28. ocamldsort
  29. ocamlgraph < "1.8.2"
  30. ocamlviz
  31. ocplib-simplex < "0.5"
  32. ojs-base >= "0.6.0"
  33. ollvm-tapir
  34. osdp >= "1.0.0" & < "1.1.1"
  35. parmap >= "1.0-rc1" & < "1.0-rc10"
  36. psmt2-frontend < "0.3.0"
  37. rashell = "0.2.0"
  38. setcore
  39. stdcompat >= "12"
  40. why < "2.40"
  41. why3 >= "1.2.1"
  42. why3-coq >= "1.3.0"
  43. why3-ide >= "1.3.0"
  44. xmldiff = "0.6.0"

Conflicts

None

OCaml

Innovation. Community. Security.