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"
5. conf-pkg-config os = "macos"

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

None