- mono-mcs
- z3
- mono-runtime (>= 3.0~)
- libboogie-cil
- libmono-corlib4.5-cil (>= 5.18.0.240)
- libmono-system-core4.0-cil (>= 5.18.0.240)
- libmono-system-numerics4.0-cil (>= 5.16.0.220)
- libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)
- libmono-system4.0-cil (>= 5.18.0.240)