-----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@lists.alioth.debian.org> Changed-By: Scott Talbert <swt@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-----
