* Inserted date.
[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