[Git][haskell-team/DHG_packages][master] 3 commits: Move agda dependencies from Depends to Suggests for elpa-agda2-mode

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
5b844090 by Xiyue Deng at 2026-01-10T21:42:11-08:00
Move agda dependencies from Depends to Suggests for elpa-agda2-mode

- This avoids pulling in the whole ghc stack when installing
elpa-agda2-mode and still provide editing support for agda2 in Emacs.

- - - - -
533acdc5 by Xiyue Deng at 2026-01-10T21:46:35-08:00
Add ${elpa:Depends} to Depends for elpa-agda2-mode

- This should give better ELPA support for Emacs addon packages.

- - - - -
0d735f1a by Xiyue Deng at 2026-01-10T21:46:35-08:00
Drop ancient emacs versions in Recommends and Enhances

- - - - -


1 changed file:

- p/agda/debian/control


Changes:

=====================================
p/agda/debian/control
=====================================
@@ -185,19 +185,20 @@ Package: elpa-agda2-mode
 Section: editors
 Architecture: all
 Depends:
+ ${misc:Depends},
+ ${shlibs:Depends},
+ ${elpa:Depends},
+Built-Using: ${misc:Built-Using}
+Recommends:
+ emacs,
+Suggests:
  agda-bin (<< ${source:Version}.1~),
  agda-bin (>= ${source:Version}),
  libghc-agda-dev (<< ${source:Version}.1~),
  libghc-agda-dev (>= ${source:Version}),
  ${haskell:Depends},
- ${misc:Depends},
- ${shlibs:Depends},
-Built-Using: ${misc:Built-Using}
-Recommends:
- emacs (>= 46.0),
 Enhances:
  emacs,
- emacs24,
 Description: dependently typed functional programming language — emacs mode
  Agda is a dependently typed functional programming language: It has inductive
  families, which are like Haskell's GADTs, but they can be indexed by values and



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/e0ea0bf7ef2543078c63a204abb47261d4876159...0d735f1aa0bd314d1549cf527e486bc33cef6918

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/e0ea0bf7ef2543078c63a204abb47261d4876159...0d735f1aa0bd314d1549cf527e486bc33cef6918
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/20260111/9b0a39f0/attachment-0001.htm>