6
6
include /usr/share/cdbs/1/rules/debhelper.mk
7
7
include /usr/share/cdbs/1/class/hlibrary.mk
9
11
install/libghc-agda-dev:: debian/tmp-inst-ghc
10
12
Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
11
13
debian/tmp-inst-ghc/usr/bin/agda \