#!/bin/sh -e
install-info --quiet --remove /usr/share/info/ginac.info

#DEBHELPER#