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. diffast-langs-cpp >= "0.2"
12. diffast-langs-fortran >= "0.2"
13. diffast-langs-java >= "0.2"
14. diffast-langs-python >= "0.2"
15. diffast-langs-verilog >= "0.2"
16. gappa
17. gmp-ecm
18. goblint
19. guile
20. libsail
21. lutin
22. mlgmpidl < "1.3.0"
23. pari
24. pari-bindings
25. polka
26. sail < "0.15"
27. secp256k1-internal
28. unisim_archisec = "0.0.2"
29. yices2
30. z3 != "4.13.0-3" & < "4.14.1"
31. zarith

None