post_install() {
   echo "Check http://wiki.archlinux.org/index.php/AgenDAV for details."
}