-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 15 Feb 2026 15:49:29 +0200 Source: agda Architecture: source Version: 2.8.0-2 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Ilias Tsitsimpis <iliastsi@debian.org> Changes: agda (2.8.0-2) unstable; urgency=medium . * Extend d/rules to compile and ship all '*.agda' files Checksums-Sha1: 98a94d6ef433a4390a10282dabb3554a65164794 5939 agda_2.8.0-2.dsc d24abd864c20cb0e69a9fbe6d0a99ca39d143751 10632 agda_2.8.0-2.debian.tar.xz e43e41b2deaebd7991575bd71c8ceac5c7e66438 19582 agda_2.8.0-2_amd64.buildinfo Checksums-Sha256: 678e01cf8d34023b2006cb3b3cc699e7bc8e6cd8667519e53996a880405dca17 5939 agda_2.8.0-2.dsc 2d2f93db47b8f92d940c803eb6804f9e1534fda2b7c2bd1db21806ea939cf9d5 10632 agda_2.8.0-2.debian.tar.xz 3a50b1355476b7b9635676d2f1e3efc1bf0f46a7ac51fe645b21ae7f08530e84 19582 agda_2.8.0-2_amd64.buildinfo Files: 9a94dd7a3264cf4abb75cf9173a9da47 5939 haskell optional agda_2.8.0-2.dsc 7a01160f5dddfa1a7bf19fc4feee63bf 10632 haskell optional agda_2.8.0-2.debian.tar.xz 7765fb872923fbd011712516313a4c0d 19582 haskell optional agda_2.8.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmmR09gUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDx5kA//Sk6362spBY2++BGm47vaPgtFIyDg 9jfskSVlXEeG1T8Yx7EbQHubHU+mOK55dlzq+2ldbOjzpSixKlrEDQNxBfdXopig j04YgWRUsTNikccFufc5LICXWPp79iM461LdoYJf7isUl7/At1GsA6L9xLbXBS1O NccN4CrBxxsUHEv25oh5pWZAoBiLsBmAA1ufCQ4xsVa82nm4iCQOzhNBc1WNGa2u TJGU9R/nSH2X62wi/prM1uNaKqoQmK/T/5nG/MaWce7t09HjjLjlXWEUW2w+Eqjx dmWqyb232KzI++miN8QTu8znjflmeUi0DuLvoGFDcuX0ALJq9IuT70WbuuLMdtas prT22+HgiBSxf3oEkeIJvqHaVpWTIJ6K0R+ggrFdz8JI33rVscYAahWi9R7U8Ucw lcSEFm1DwxkUG3GG+OROVBvPyYJoDlrQNM2wpjE10y9gOPCFHdNkJyL/dqjTw+zi rDjDFD/8+RE17clcyIsS9/BWUv0lAY3C7jk6MCxQ1bOOFB5rK+7HgNeITWLRZIVk sJhOz4eIc0ZKZ6XVfcCev4Ivt+OU3vEfKc6/9EdY4E0QfnYQnTNuokiFfZ2hBSOS e+HwXiEecncVHCHdNhDN5dyxkvfUFA7S2piA4IsVNyIflL7T8EdX5XOnaw/1mY8/ Mx2FklC4uyNvZMc= =HfmG -----END PGP SIGNATURE-----
