]> www.ginac.de Git - ginac.git/blob - debian/ginac-dev.files
GINAC_RL_VERSION_* defines didn't get set when running configure from cache
[ginac.git] / debian / ginac-dev.files
1 usr/lib/libginac.la
2 usr/lib/libginac.a
3 usr/lib/libginac.so
4 usr/include/ginac
5 usr/bin/ginac-config
6 usr/share/man/man1/ginac-config*
7 usr/share/info