The latest version of agda-unused is 0.3.0-0.

exe:agda-unused

Dependencies

Reverse dependencies

None.