* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / debian / postinst
1 #!/bin/sh
2 set -e
3
4 ldconfig
5 #DEBHELPER#