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

  1. acpc
  2. alt-ergo < "1.01" | >= "2.0.0" & < "2.3.0"
  3. alt-ergo-free < "2.4.3"
  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. config-file < "1.2.1"
  12. cpu
  13. ffmpeg >= "0.3.0" & < "1.0.0~beta1"
  14. fm-simplex-plugin < "1.30"
  15. frama-c < "26.0~beta"
  16. frama-c-lannotate < "0.2.3"
  17. frama-c-luncov < "0.2.1"
  18. frama-c-metacsl = "0.3"
  19. gappa
  20. gmp-ecm
  21. hashcons < "1.4.0"
  22. libdash
  23. liquidsoap < "2.3.3"
  24. ocaml-variants >= "5.1.1+flambda2" & < "5.1.1+options"
  25. ocamldot
  26. ocamldsort
  27. ocf = "0.7.0"
  28. ocplib-simplex < "0.5"
  29. ojs-base
  30. ollvm-tapir
  31. osdp >= "1.0.0" & < "1.1.1"
  32. psmt2-frontend < "0.3.0"
  33. setcore
  34. stdcompat >= "14" & < "21.0"
  35. why3
  36. why3-coq
  37. why3-ide >= "1.3.0"
  38. xmldiff < "0.7.0"

Conflicts

None