]> www.ginac.de Git - ginac.git/blob - debian/libginac-dev.install
check: time_parser.cpp: don't run the same benchmark twice.
[ginac.git] / debian / libginac-dev.install
1 debian/tmp/usr/lib/libginac.la
2 debian/tmp/usr/lib/libginac.a
3 debian/tmp/usr/lib/libginac.so
4 debian/tmp/usr/include/ginac/*
5 debian/tmp/usr/lib/pkgconfig/ginac.pc
6 debian/tmp/usr/share/info/ginac.info*