. ../../testutils.sh

run --find-ipkg Memo.idr
