[Pkg-haskell-commits] [agda] 05/07: Install the new primitives

[Iain Lane]

This is an automated email from the git hooks/post-receive script.

laney pushed a commit to branch master
in repository agda.

commit 93dc4d4b7379554a0f326cc06c1f90a6697f90f3
Author: Iain Lane <iain at orangesquash.org.uk>
Date:   Tue Aug 5 05:39:05 2014 +0100

    Install the new primitives
---
 debian/libghc-agda-dev.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/libghc-agda-dev.install b/debian/libghc-agda-dev.install
index 739be1c..9cb7fc4 100644
--- a/debian/libghc-agda-dev.install
+++ b/debian/libghc-agda-dev.install
@@ -1 +1,2 @@
 debian/tmp-inst-ghc/usr/share/libghc-agda-dev/Agda.css usr/share/libghc-agda-dev/
+debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib usr/share/libghc-agda-dev

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git