-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 26 Feb 2026 22:18:59 -0500 Source: haskell-copilot-theorem Architecture: source Version: 4.6.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Scott Talbert <swt@techie.net> Changes: haskell-copilot-theorem (4.6.1-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: 6de190f0da1b1d8e158a8d91a7c17869473d3a3d 3841 haskell-copilot-theorem_4.6.1-1.dsc 610b80c057f70efcd728217bc34b7d139875ab72 71555 haskell-copilot-theorem_4.6.1.orig.tar.gz 785c545bce9a57a66c536d4638514c391d06ebf4 2936 haskell-copilot-theorem_4.6.1-1.debian.tar.xz 1b01fb380843eb5226d95aca3c79ac49f0231126 7534 haskell-copilot-theorem_4.6.1-1_source.buildinfo Checksums-Sha256: 13c8550d5216d2e51e5a08711efa44200a2921b1e9fae4347a8d5398fb6be724 3841 haskell-copilot-theorem_4.6.1-1.dsc 7409ed3881120129ad7033b8802416de51281400e16d98045ba9ea9b32ec97f4 71555 haskell-copilot-theorem_4.6.1.orig.tar.gz 5599f1fc07248fcc65fda33ad9fd9ae4b77e7c4f8d2c254a421fafc8cfb7b5e1 2936 haskell-copilot-theorem_4.6.1-1.debian.tar.xz b500d19293e88dc8d29799dfdd79531d09c583a4d9fd1febf07cbceba3555573 7534 haskell-copilot-theorem_4.6.1-1_source.buildinfo Files: 0a3ef42c7134dd7856ef397e4e43824f 3841 haskell optional haskell-copilot-theorem_4.6.1-1.dsc 7c85b3531fa69c063cb28a78af6c0f1e 71555 haskell optional haskell-copilot-theorem_4.6.1.orig.tar.gz 4f97fbda2cffaa13669906c889befebf 2936 haskell optional haskell-copilot-theorem_4.6.1-1.debian.tar.xz 6c9009479c205c500c32f39c076c9c88 7534 haskell optional haskell-copilot-theorem_4.6.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmhDTgPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iirecQAJ0YE+4EGti0li9VEczcQHxOnj/AXl8+JCxt 58acZwwY1JIQfcH2SzPXSYS9acbpvg4ywLgCeaxWQShZ7BX7riMzyj8BME+LGXAx FIRKcX+bUQ1DAILLvJCwdyR8fE6hvRzfCHuJwBJv7ktU9lnYm1O2mm8NltJPX7NV kJaLo7sR8QIMWWZGseXW2exeHLoehTIp1Rx9/DE+IyHEdckznzrvkqgun2EBuUlC bhwFssAL0g2kke465rQEI0YCBy1k8c32Icg45Dn7G48GNmbO49di7dcbadtka+jL Mv+jWOEyGii0ZjWqrnvaCJRcFVA6TyyuiylSqoZwUm10vFTSni6a4ueLS6dPYXvx MDtT0SPOFVRTQCA9uCNrHd74GcG0slntsbttudwzpZShnRx6GxW2kyAI2kqn9krT B8XjpGSCHX6q1NNIEfMwn0UwJBcLu6+DaILj801fwXlPkctqMmnoRvYMPoavldwn 9yLR1L2gjvA0TFhMwBX48K1z0hlGQepwt+Q3wR2KeGoeRxwX+JVGp0liAAPMIZmo P9E3PiU+VaJUZgVDm4xW9dlKKYx6JysB9C6HEoTEfWsnmFVrc2tpeA8cm0RL6XhA pmxRO+3WeoeykXUjY/Vw/J0PoyeR21mgbo1JzPSEwnfWVFDmGhNb3rdUHasEWITl F0jP7eSK =U62d -----END PGP SIGNATURE-----