[DHG_packages] 01/01: add patch adding agda2-mode-pkg.el

[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 3666c9b1f3dd35bdac5f323d46433d1061c585c9
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Fri Jun 10 16:04:46 2016 +0900

    add patch adding agda2-mode-pkg.el
---
 p/agda/debian/changelog                          | 1 +
 p/agda/debian/patches/add-elpa-pkg-el-file.patch | 5 +++++
 p/agda/debian/patches/series                     | 1 +
 3 files changed, 7 insertions(+)

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index 1cdfcaa..a22fb8e 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -13,6 +13,7 @@ agda (2.5.1-1) UNRELEASED; urgency=medium
   * Install Emacs mode with dh_elpa.
     - New binary package elpa-agda2-mode.
     - agda-mode now a transitional dummy package.
+    - Add patch creating file agda2-mode-pkg.el.
   * Add myself as an uploader.
   * Update Vcs-* for merge into DHG_packages.git
   * Run wrap-and-sort -abst
diff --git a/p/agda/debian/patches/add-elpa-pkg-el-file.patch b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
new file mode 100644
index 0000000..4b62f8b
--- /dev/null
+++ b/p/agda/debian/patches/add-elpa-pkg-el-file.patch
@@ -0,0 +1,5 @@
+--- /dev/null
++++ b/src/data/emacs-mode/agda2-mode-pkg.el
+@@ -0,0 +1,2 @@
++(define-package "agda2-mode" "2.5.1"
++  "interactive development for Agda, a dependently typed functional programming language")
diff --git a/p/agda/debian/patches/series b/p/agda/debian/patches/series
new file mode 100644
index 0000000..db9c3ae
--- /dev/null
+++ b/p/agda/debian/patches/series
@@ -0,0 +1 @@
+add-elpa-pkg-el-file.patch

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