POSTUN

/bin/sh

if [ $1 -eq 0 ]; then
  update-desktop-database -q &> /dev/null
  update-mime-database /usr/share/mime &> /dev/null || :
  mktexlsr &> /dev/null
fi

# Note: we want to keep both coqtop.opt and coqtop.byte because the
# byte compiled version can be used to compile new version through
# coqmktop

# Exclude libcoqrun.a only when it is installed (this appears to be
# only for the native compile case)

POSTTRANS

/bin/sh

mktexlsr &> /dev/null || :
update-mime-database /usr/share/mime &> /dev/null || :
update-desktop-database -q &> /dev/null || :