[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