The latest version of scyther-proof is 0.10.0.1-0.

exe:scyther-proof

Dependencies

Reverse dependencies

None.