]> git.gag.com Git - debian/gnuradio/blob - debian/libpmt-dev.install
projects / debian / gnuradio / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Add missing dependency
[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