package conf-autoconf

None

None

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"

None