package conf-autoconf

1. conf-which build

None

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

None