diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-10 16:04:46 +0900 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-06-10 16:04:46 +0900 |
commit | 3666c9b1f3dd35bdac5f323d46433d1061c585c9 (patch) | |
tree | a9cc97d5f4ce0d38014d9768501ba2ebea021f68 /p/agda | |
parent | 7b5c306a0dd75c290feb1e3a39bf42db7ef2b1b4 (diff) | |
download | DHG_packages-3666c9b1f3dd35bdac5f323d46433d1061c585c9.tar.gz |
add patch adding agda2-mode-pkg.el
Diffstat (limited to 'p/agda')
-rw-r--r-- | p/agda/debian/changelog | 1 | ||||
-rw-r--r-- | p/agda/debian/patches/add-elpa-pkg-el-file.patch | 5 | ||||
-rw-r--r-- | p/agda/debian/patches/series | 1 |
3 files changed, 7 insertions, 0 deletions
diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog index 1cdfcaa01..a22fb8e5f 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 000000000..4b62f8b84 --- /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 000000000..db9c3aee8 --- /dev/null +++ b/p/agda/debian/patches/series @@ -0,0 +1 @@ +add-elpa-pkg-el-file.patch |