packages feed

MiniAgda-0.2020.4.14: Makefile

install :
	cabal v1-install

# EOF