The latest version of hls-tactics-plugin is 2.2.0.0-0.

Wingman.Judgements

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?