Binary: gfan_overintegers

Debian packages that has this binary:

Package: gfan

/usr/bin/gfan_overintegers