%FILES%
usr/
usr/bin/
usr/bin/poly
usr/bin/polyc
usr/bin/polyimport
usr/lib/
usr/lib/libpolymain.a
usr/lib/libpolyml.so
usr/lib/libpolyml.so.14
usr/lib/libpolyml.so.14.0.0
usr/lib/pkgconfig/
usr/lib/pkgconfig/polyml.pc
usr/lib/polyml/
usr/lib/polyml/modules/
usr/lib/polyml/modules/IntInfAsInt
usr/share/
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/poly.1.gz
usr/share/man/man1/polyc.1.gz
usr/share/man/man1/polyimport.1.gz
