package conf-autoconf

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

Install 

dune-project
 Dependency

www.gnu.org Edit opam file Versions (2)

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: 13 Jun 2024

Dependencies

None

Dev Dependencies

None

Used by (37)

  1. acpc
  2. alt-ergo = "0.99.1" | >= "2.0.0" & < "2.3.0"
  3. alt-ergo-free
  4. bibtex2html >= "1.99-1"
  5. bitv < "1.4"
  6. calendar < "2.03.2"
  7. camlbz2 = "0.7.0"
  8. coccinelle
  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 < "26.0~beta"
  15. frama-c-lannotate < "0.2.3"
  16. frama-c-luncov < "0.2.1"
  17. frama-c-metacsl = "0.3"
  18. gappa
  19. gmp-ecm
  20. hashcons < "1.4.0"
  21. libdash
  22. liquidsoap < "2.3.3"
  23. ocaml-variants >= "5.1.1+flambda2" & < "5.1.1+options"
  24. ocamldot
  25. ocamldsort
  26. ocplib-simplex < "0.5"
  27. ojs-base
  28. ollvm-tapir
  29. osdp >= "1.0.0" & < "1.1.1"
  30. psmt2-frontend < "0.3.0"
  31. setcore
  32. stdcompat >= "12" & < "21.0"
  33. why3 >= "1.2.1"
  34. why3-coq >= "1.3.0"
  35. why3-ide >= "1.3.0"
  36. wyrd
  37. xmldiff < "0.7.0"

Conflicts

None