pkg://acl2-infix_3.3-1_arm.deb:175236/postinst  info  downloads

#!/bin/sh

set -e

if [ "$1" = "configure" ] ; then

	! [ -x /usr/bin/texhash ] || /usr/bin/texhash

fi