debian swirl logo

Back to the packages list agda

#!/usr/bin/make -f
DEB_BUILD_DEPENDENCIES = build-arch

DEB_SETUP_GHC6_CONFIGURE_ARGS := --datadir='/usr/share' --datasubdir='libghc-agda-dev'

include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/hlibrary.mk

Builds:

agda-bin
commandline interface to agda
agda
dependently typed functional programming language
agda-mode
dependently typed functional programming language — emacs mode
libghc-agda-dev
dependently typed functional programming language${haskell:shortblurb}
libghc-agda-doc
dependently typed functional programming language${haskell:shortblurb}