#! /bin/bash

aptdcon -i 'acl2 binfmt-support' <<<y
$(dirname "$BASH_SOURCE")/urn_acl2_install