Commit 0bd9a38ae10e14ad1f9c2a03583e7d9bb18536c6 - haskell-xss-sanitize

add patch to fix agda-mode #1003318 grave bug Marcel Fourné 1 year, 4 months ago

3 changed file(s) with 24 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

p/agda/debian/changelog less more

	0	agda (2.6.2.2-1.1) unstable; urgency=high
	1
	2	* Non-maintainer upload.
	3	* add patch to remove internal agda-mode dependencies (Closes: #1017415)
	4
	5	-- Marcel Fourné <debian@marcelfourne.de> Tue, 06 Dec 2022 16:57:40 +0100
	6
0	7	agda (2.6.2.2-1) unstable; urgency=medium
1	8
2	9	* New upstream release (Closes: #1003318)

+16

-0

p/agda/debian/patches/agda-mode-deps less more

	0	Description: remove internal agda-mode dependencies
	1	agda-mode provides annotation.el and eri.el, which therefore
	2	cannot be external dependencies, but are declared so nonetheless
	3	.
	4	Origin: other
	5	Author: Marcel Fourné <debian@marcelfourne.de>
	6	Bug-Debian: https://bugs.debian.org/1017415
	7	Last-Update: 2022-12-06
	8
	9	--- agda-2.6.2.2.orig/src/data/emacs-mode/agda2-mode-pkg.el
	10	+++ agda-2.6.2.2/src/data/emacs-mode/agda2-mode-pkg.el
	11	@@ -1,3 +1,3 @@
	12	(define-package "agda2-mode" "2.6.2.2"
	13	"interactive development for Agda, a dependently typed functional programming language"
	14	- '((emacs "24.3") (annotation "1.0") (eri "1.0")))
	15	+ '((emacs "24.3")))

-0

p/agda/debian/patches/series less more

0	0	var-lib-agda
	1	agda-mode-deps