libbddx-dev.install 81 Bytes
Newer Older
1
2
3
4
usr/include/fddx.h
usr/include/bvecx.h
usr/include/bddx.h
usr/lib/*-*/libbddx.so