agda_2.8.0-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 10 Feb 2026 15:35:03 -0500
Source: agda
Architecture: source
Version: 2.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Scott Talbert <swt at techie.net>
Closes: 1125220
Changes:
 agda (2.8.0-1) unstable; urgency=medium
 .
   [ Scott Talbert ]
   * Build using dh-haskell
   * New upstream release
 .
   [ Xiyue Deng ]
   * Move agda dependencies from Depends to Suggests for elpa-agda2-mode
     (Closes: #1125220)
   * Add ${elpa:Depends} to Depends for elpa-agda2-mode
   * Drop ancient emacs versions in Recommends and Enhances
Checksums-Sha1:
 7b51009e67b53a5216676fc431dc6cc60e3bb38f 5931 agda_2.8.0-1.dsc
 a53d37be8b37af97b655635f3a85f352528bc9ae 1951997 agda_2.8.0.orig.tar.gz
 b4269672d8128519a72d3662440431f90fda0e4b 10572 agda_2.8.0-1.debian.tar.xz
 3bdf1eb343e38ce56eb349ab7340358a2c028e8a 13190 agda_2.8.0-1_source.buildinfo
Checksums-Sha256:
 bdf29082fc9e9611f4c1a2c95b93d3e251ec81969876b8313fe451d4c20bec88 5931 agda_2.8.0-1.dsc
 86841907e78a5aafcf57b09edb7d50036f7de1b2217c8b58e2c57d6004969ba0 1951997 agda_2.8.0.orig.tar.gz
 b68efd97629fc063aaf286b0cbfd9c181ee45090233b26c8b2055916ab7f0cff 10572 agda_2.8.0-1.debian.tar.xz
 d8d868fd59ce29c13b2a94da6de56a4a6c96f5741814f875984d47018bd29441 13190 agda_2.8.0-1_source.buildinfo
Files:
 6ac3e9d42478dbec64d6a78cdcae815e 5931 haskell optional agda_2.8.0-1.dsc
 d8cca2bca1d80034f486ad499a00e5e9 1951997 haskell optional agda_2.8.0.orig.tar.gz
 902e13e8acc0e5abbaf3b95ccba8ad33 10572 haskell optional agda_2.8.0-1.debian.tar.xz
 da91a8ee4593dec211dc67ae74580699 13190 haskell optional agda_2.8.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmQsEUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii00cP/AlJlrk2RI+kTJEWYGvzzwU6XswB/EUXjL6s
Zdk26vs7hEWqSSF/mJXUQt6ivPWCXdLLaz/p/LmXTQ6E5/Ujn//9BOYZXmG5j8QX
Jsm/A5wm5NuCa7n0Vr4Wn1klF6p/zm5z+TUeLd9/LD28eBFSuR56x+C/NZfKv0eJ
p2Dw9J6shrbs8L5IlJjkuFZP/2XAsotMCbXWn/mzaaYa8nD9Yr2a4eosM4R6VNu2
srBr+/Eb7rHMqTxT0ZqqAvrYceEWvslS5XrG4cwhAzhwlvIjsXlCT/LYpL+5tYc9
Y/RNGpUJPpNE/V+holOKRwUO2CX/ORyM8fkIn9XgLYIjS4xpw1h5DrMhuDURlEgp
69ZUa3LHYVURxsqXzs1BGlakhY+GHLwSj4t4hZhswopdz17VB9CVOWiwv+aFYxye
5Hi57KDM3EpD5+WsJiia0Wqstki7FqQaf9FofCAKhKmZf5TNLj76KS4MfKELY4fy
VFGyKqE0+bzc5GhbwUeO/sD0OEphPEqnwXdDZYnc0hhv1Dg6Cy3HL3lcs6j8s3uT
GX8egkLvXVSCUN8F47EBqXALxcM+VxZcGURSZ+ZnRKkUp3g2cS9/bn2KUp0ZJEOw
+mcRGLEQ0UecBWhRjyxzbrenLh3iVm3HGl4bYf2e+rXnMvrrGR1mr2lsVfSxTcMC
gzWL8YOy
=Bdup
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20260214/7d86710f/attachment.sig>