Processed: Re: Bug#1125220: Acknowledgement (elpa-agda2-mode: move agda2 dependencies to Suggests)

Debian Bug Tracking System owner at bugs.debian.org
Sun Jan 11 08:05:05 GMT 2026

Previous message (by thread): Bug#1125220: Acknowledgement (elpa-agda2-mode: move agda2 dependencies to Suggests)
Next message (by thread): Processing of haskell-crypton-x509_1.7.7-2_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Processing control commands:

> tags -1 patch
Bug #1125220 [elpa-agda2-mode] elpa-agda2-mode: move agda2 dependencies to Suggests
Added tag(s) patch.

-- 
1125220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1125220
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems

Previous message (by thread): Bug#1125220: Acknowledgement (elpa-agda2-mode: move agda2 dependencies to Suggests)
Next message (by thread): Processing of haskell-crypton-x509_1.7.7-2_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list