package coq-flocq

1. conf-clang build
2. conf-g++ build
3. ocaml build
4. rocq-stdlib
5. coq-stdlib
6. coq-core >= "8.17"
7. coq >= "8.15" & < "8.17"

1. conf-autoconf build & dev

1. coq-compcert >= "3.7~coq-platform" & < "3.7" | >= "3.11"
2. coq-compcert-32 >= "3.11"
3. coq-compcert-64 < "3.7"
4. coq-flocq-quickchick >= "1.0.1"
5. coq-gappa >= "1.4.0" & < "1.4.4" | >= "1.5.0"
6. coq-interval >= "3.4.0" & < "4.0.0" | >= "4.3.0"
7. coq-libvalidsdp >= "0.6.0"
8. coq-num-analysis
9. coq-qcert = "1.0.9"
10. coq-validsdp < "1.1.0"
11. coq-vcfloat
12. coq-vellvm
13. coq-vst >= "2.6"
14. coq-vst-32
15. coq-vst-64
16. coq-vst-lib
17. rocq-laproof
18. rocq-num-analysis-lebesgue
19. rocq-robust-geometric-predicates
20. rocq-spivak
21. rocq-vellvm
22. rocq-vst

None