bin/poly
bin/polyc
bin/polyimport
lib/libpolymain.a
lib/libpolyml.a
lib/libpolyml.so
lib/libpolyml.so.7
lib/libpolyml.so.7.0.0
libdata/pkgconfig/polyml.pc
man/man1/poly.1.gz
man/man1/polyc.1.gz
man/man1/polyimport.1.gz