Binary: wtdist

Debian packages that has this binary:

Package: gap-guava-bin

/usr/lib/x86_64-linux-gnu/gap/pkg/guava/bin/leon/wtdist

/usr/lib/x86_64-linux-gnu/gap/pkg/guava/bin/wtdist