-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 10 Feb 2025 12:50:32 +0100 Source: creduce Architecture: source Version: 2.11.0~20240909-2 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Changes: creduce (2.11.0~20240909-2) unstable; urgency=medium . * Remove build dependency on frama-c, removed from testing. Checksums-Sha1: fdd328c04e905f33ae1143de595d000e5e157cbc 2130 creduce_2.11.0~20240909-2.dsc 6e0af116587422f89d9df608cd88634a963d6bdb 9172 creduce_2.11.0~20240909-2.debian.tar.xz 9d8ac8a020d0ce79416459be362684c7e19a904f 8322 creduce_2.11.0~20240909-2_source.buildinfo Checksums-Sha256: 96ad0760ef211b2ca947f4c0894fcbae879e5f75b0f67e8a63f02739dabf0d99 2130 creduce_2.11.0~20240909-2.dsc 12df43bc8c69f13f1adde6a6229a9cfcfe1dc1c9b66b98dade6658fb433b69c6 9172 creduce_2.11.0~20240909-2.debian.tar.xz df49162947a678fb142a716777ed4d7c272cb35676e5ffb3fec6529c8a9ae959 8322 creduce_2.11.0~20240909-2_source.buildinfo Files: 58744bd5c1bd88dd1603204df054fcb6 2130 devel optional creduce_2.11.0~20240909-2.dsc 84b109a9f8f83457e659b077cc837c86 9172 devel optional creduce_2.11.0~20240909-2.debian.tar.xz 863bdf407d525a16f6baaee4fbb4c6cd 8322 devel optional creduce_2.11.0~20240909-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCgAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmep6p8QHGRva29AZGVi aWFuLm9yZwAKCRC9fqpgd4+m9QpOEACbWZp8kCI8YxgWl9fddBHvt5Q/+ww6dLzo MtbujA/S0GadZjmUyZXVJSddcpH0AoKn3ihQgtxmX+G48o8AGwKlsolH+hJ35Pfl 20GZGfFu+lwckhKyU+PrHaoh+flyP2jvQ1RuCgCCsc4AaWG5jDvNLQn/kclTDBlP x6bu2KU2nzKbhFIiJMj7fRLJHzZWe7Biu8BbR+LdUmUxKGxtFSFLqEOiJt5YHBtd Uqm7Xp2oCprPNxb2EevzOxKY0czF9OHQFQd36jTq2AT/TjIPNsttEq6AVGbcw1zt bsUiUn6Jp95dDS41mV5mBTlR9uTmxap2Y1G1EY7Y+mRfPAh3o1oCo7xXymRcqlJK Z8PjPF2N7JUtx9K9dHkuwgguWSbFP4Zv0NsvC234TGcgt8WwJ3OWRt0+hXMeqKZE FRLdIDd/BxEOG4wxCyzNrQWrwtlB+rQ9mVl518Uzy0G0e87hgYAqmpLw5ojloSuq DrZfxg7vVBHrI8vVQ77l9FWjM39r2ECSOPuQkoRx6G9K8Te2UXGciqzOA3ilZQ6A zK7F2BliRLaPNOuTiLTYM5WTRwgIc67GbJn+nNlQVazZoyL1CKB59HXv2N2bIEEl ckkdK3BzSW8mEH5fYoKHdt5OI2vCBk6wNbAZjbFhJ0B1hWS4j0OJyvMhK/U87hm2 cExMvS8v5A== =miNi -----END PGP SIGNATURE-----
