#!/bin/sh
# invoke from /usr/lib/emacsen-common/packages/install/${PACKAGE}

set -e

/usr/lib/dh-elpa/helper/install "$1" agda2-mode 2.8.0 
