The latest version of cpsa is 4.4.5-0.

exe:cpsa4rolecoq

Dependencies

Reverse dependencies

None.