diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-12 16:54:12 +0900 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-12 16:54:22 +0900 |
commit | f5b025aea1d5ed2838e2e80159a41bef57e1dfe4 (patch) | |
tree | 93459af368d0dd3a5da2a00e1215aa848431d753 /p/agda | |
parent | 81906945860c0061f1760fddbbc591e0df8d4958 (diff) | |
download | DHG_packages-f5b025aea1d5ed2838e2e80159a41bef57e1dfe4.tar.gz |
agda: add patch header
Diffstat (limited to 'p/agda')
-rw-r--r-- | p/agda/debian/patches/add-elpa-pkg-el-file.patch | 7 |
1 files changed, 7 insertions, 0 deletions
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 4b62f8b84..7bc0a438b 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@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 @@ |