package conf-autoconf

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

Added to opam-repository:

Dependencies

None

Dev Dependencies

None

Used by (39)

  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. cgi >= "0.10"
  9. coccinelle
  10. comby
  11. conf-automake
  12. config-file < "1.2.1"
  13. cpu
  14. ffmpeg >= "0.3.0" & < "1.0.0~beta1"
  15. fm-simplex-plugin < "1.30"
  16. frama-c < "26.0~beta"
  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.3.3"
  25. ocaml-variants >= "5.1.1+flambda2" & < "5.1.1+options"
  26. ocamldot
  27. ocamldsort
  28. ocf = "0.7.0"
  29. ocplib-simplex < "0.5"
  30. ojs-base
  31. ollvm-tapir
  32. osdp >= "1.0.0" & < "1.1.1"
  33. psmt2-frontend < "0.3.0"
  34. setcore
  35. stdcompat >= "14" & < "21.0"
  36. why3
  37. why3-coq
  38. why3-ide >= "1.3.0"
  39. xmldiff < "0.7.0"

Conflicts

None