projects / debian / gnuradio / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
re-run bootstrap to pick up patches
[debian/gnuradio] / debian / libpmt-dev.install
1 usr/include/pmt.h
2 usr/include/pmt_pool.h
3 usr/include/pmt_serial_tags.h
4 usr/lib/libpmt.so
5 usr/lib/pkgconfig/pmt.pc
Debian packaging of gnuradio