[Git][haskell-team/DHG_packages][master] add patch to fix agda-mode #1003318 grave bug
Marcel Fourné (@mfourne)
gitlab at salsa.debian.org
Tue Dec 6 16:02:07 GMT 2022
Marcel Fourné pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
0bd9a38a by Marcel Fourné at 2022-12-06T17:01:45+01:00
add patch to fix agda-mode #1003318 grave bug
- - - - -
3 changed files:
- p/agda/debian/changelog
- + p/agda/debian/patches/agda-mode-deps
- p/agda/debian/patches/series
Changes:
=====================================
p/agda/debian/changelog
=====================================
@@ -1,3 +1,10 @@
+agda (2.6.2.2-1.1) unstable; urgency=high
+
+ * Non-maintainer upload.
+ * add patch to remove internal agda-mode dependencies (Closes: #1017415)
+
+ -- Marcel Fourné <debian at marcelfourne.de> Tue, 06 Dec 2022 16:57:40 +0100
+
agda (2.6.2.2-1) unstable; urgency=medium
* New upstream release (Closes: #1003318)
=====================================
p/agda/debian/patches/agda-mode-deps
=====================================
@@ -0,0 +1,16 @@
+Description: remove internal agda-mode dependencies
+ agda-mode provides annotation.el and eri.el, which therefore
+ cannot be external dependencies, but are declared so nonetheless
+ .
+Origin: other
+Author: Marcel Fourné <debian at marcelfourne.de>
+Bug-Debian: https://bugs.debian.org/1017415
+Last-Update: 2022-12-06
+
+--- agda-2.6.2.2.orig/src/data/emacs-mode/agda2-mode-pkg.el
++++ agda-2.6.2.2/src/data/emacs-mode/agda2-mode-pkg.el
+@@ -1,3 +1,3 @@
+ (define-package "agda2-mode" "2.6.2.2"
+ "interactive development for Agda, a dependently typed functional programming language"
+- '((emacs "24.3") (annotation "1.0") (eri "1.0")))
++ '((emacs "24.3")))
=====================================
p/agda/debian/patches/series
=====================================
@@ -1 +1,2 @@
var-lib-agda
+agda-mode-deps
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/0bd9a38ae10e14ad1f9c2a03583e7d9bb18536c6
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/0bd9a38ae10e14ad1f9c2a03583e7d9bb18536c6
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20221206/95c80491/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list