dialyzer(1) on Linux
The text 3da7101b6789, as Debian 6.0 (Squeeze) shipped it.
The Dialyzer, a DIscrepancy AnalYZer for ERlang programs
The text 3da7101b6789, as Debian 6.0 (Squeeze) shipped it.
The Dialyzer, a DIscrepancy AnalYZer for ERlang programs