This file is indexed.

postrm is in pari-gp 2.9.4-1.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

1
2
3
4
5
#!/bin/sh
set -e
# Automatically added by dh_installmenu/11.1.3ubuntu1
if [ -x "`which update-menus 2>/dev/null`" ]; then update-menus ; fi
# End automatically added section