package conf-gmp

1. conf-mingw-w64-gmp-x86_64 os = "win32" & os-distribution != "cygwinports"
2. host-arch-x86_64 os = "win32" & os-distribution != "cygwinports"
3. conf-mingw-w64-gmp-i686 os = "win32" & os-distribution != "cygwinports"
4. host-arch-x86_32 os = "win32" & os-distribution != "cygwinports"

None

1. bap-std >= "2.3.0"
2. bitwuzla < "1.0.0"
3. bitwuzla-bin
4. bitwuzla-c
5. class_group_vdf
6. comby
7. compsort
8. conf-gmp-powm-sec
9. conf-mpfr
10. cvc5
11. gappa
12. gmp-ecm
13. goblint >= "1.1.1"
14. guile
15. libsail
16. lutin
17. mlgmp
18. mlgmpidl < "1.3.0"
19. numerix
20. pari
21. pari-bindings
22. polka
23. sail < "0.15"
24. secp256k1-internal
25. unisim_archisec = "0.0.2"
26. yices2
27. z3 != "4.13.0-3"
28. zarith

None