The text 25ca6c9246a4, as Debian 9 (Stretch) shipped it.
Dialyzer, a DIscrepancy AnaLYZer for ERlang programs.
dialyzer(3erl) on Linux now
