debian/man.grm.o
polygen.1
polygen-data.6
debian/polyfind.1
src/polygen
