package coq-flocq

1. conf-clang build
2. conf-g++ build
3. coq >= "8.12" & < "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
11. coq-vcfloat < "2.1.1"
12. coq-vst >= "2.6" & != "2.15"
13. coq-vst-32
14. coq-vst-64
15. coq-vst-lib

None