package coq-flocq

1. conf-clang build
2. conf-g++ build
3. coq >= "8.7" & < "8.14~"

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.6.0"
6. coq-interval >= "3.4.0"
7. coq-libvalidsdp >= "0.6.0"
8. coq-qcert = "1.0.9"
9. coq-validsdp
10. coq-vst >= "2.6" & < "2.10"
11. coq-vst-32 < "2.10"
12. coq-vst-64

None