#! /bin/bash

$(dirname "$BASH_SOURCE")/urn_idris_trisquel_cabal
$(dirname "$BASH_SOURCE")/urn_idris_install