# Installed by debian/libgiac-dev.install explained in Bug #972827
libgiac-dev: package-name-defined-in-config-h usr/include/giac/config.h
