libbddx-dev.install 136 Bytes
Newer Older
1
2
3
4
usr/include/fddx.h
usr/include/bvecx.h
usr/include/bddx.h
usr/lib/*-*/libbddx.so
5
usr/lib/*-*/libbddx.a
6
usr/lib/*-*/pkgconfig/libbddx.pc