[DHG_packages] 06/07: agda: add patch header

[Sean Whitton]

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

spw-guest pushed a commit to branch master
in repository DHG_packages.

commit f5b025aea1d5ed2838e2e80159a41bef57e1dfe4
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Sun Jun 12 16:54:12 2016 +0900

    agda: add patch header
---
 p/agda/debian/patches/add-elpa-pkg-el-file.patch | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/p/agda/debian/patches/add-elpa-pkg-el-file.patch b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
index 4b62f8b..7bc0a43 100644
--- a/p/agda/debian/patches/add-elpa-pkg-el-file.patch
+++ b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
@@ -1,3 +1,10 @@
+Description: Add elpa metadata file
+Author: Sean Whitton <spwhitton at spwhitton.name>
+Forwarded: https://github.com/agda/agda/issues/2032
+
+This file is needed for the elpa-agda2-bin binary package to build.
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
 --- /dev/null
 +++ b/src/data/emacs-mode/agda2-mode-pkg.el
 @@ -0,0 +1,2 @@

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