pkg-plist « polyml « lang - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/lang/polyml/pkg-plist

blob: 2616ea9ce345664f44d2f037e61a2d0bbd717d21 (plain) (blame)

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