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

#DEBHELPER#