-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 15 Oct 2019 00:29:22 +0200 Source: z3 Architecture: source Version: 4.8.6-2 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wolff@arcor.de> Closes: 942154 Changes: z3 (4.8.6-2) unstable; urgency=medium . * Source-only reupload after the package has been in the NEW queue (due to python3-z3). * Update debian/copyright (Closes: #942154). * Upgrade to Standards-Version 4.4.1 (no changes). Checksums-Sha1: a20ba7e686e4d3bc02e1a0ff708e6450eaa0fb85 2659 z3_4.8.6-2.dsc d192d9cdb34cd232bbb0ca26b4a4c792b9c9f6b1 10908 z3_4.8.6-2.debian.tar.xz 644ca51696c6e2649399d7c900dbca2305fb059a 13307 z3_4.8.6-2_amd64.buildinfo Checksums-Sha256: ccc611fa95e14444f4b5d5225c5ce956f47be5614661e3f6747d5474978a756e 2659 z3_4.8.6-2.dsc 5fec1a189af524bf19ad2ea8aa6e74f7aa8592d79d9c9b09d8f162c5de5afb47 10908 z3_4.8.6-2.debian.tar.xz 74860028e37934659261f1c1aaa937363641102eb70666f84637be3b81cc6909 13307 z3_4.8.6-2_amd64.buildinfo Files: 63876212a3afff31559bd1d56314041f 2659 science optional z3_4.8.6-2.dsc 87a25445d84cd65411864de0b30c02d9 10908 science optional z3_4.8.6-2.debian.tar.xz f03b97dbf8afc9e63f60606275445180 13307 science optional z3_4.8.6-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl2lBA0ACgkQilOItk1p K0lLsQ//bZ94Ex3BZgAROvc76YaOT+hMRUESDzzvRzDvUoSQSoXuFrQdwW5LJh1g vwUQNxpTttA1uq+H0LOybclYknFWcdTaYOLu/CN1Pl9mnsrhOFj0fqCMWSDh2hrS ivEcQfsAuGlwNmeU/3z+UuKK9Z+/MTb6QK10CuqDu03Nr0aAMWBUXRVc0nIwFqMb 9r6iqJ+7SK/xPDNa3cbitZaWW1ACoKZKTGjzL124s2rakwKpJf5piiwi1IO5HW5I ajZh6JoS8pt3J0E0zFli91k6NTTmYhiq1gc5Bmkq0C5hkaIUb0cuGKaSmSN+gkj3 SRMkX43hjDU67l69bcv4m4tIvU/euPl+ox6RyUtjwSFGAxpuND2WlIDIMegDN+I/ acuXg0XWpj+z47ttzEWS0xHn4SAEc1n1Ds7YoLCQNOO7YNiNFkryylF5SELDYD9i 7Tgms4H81KCyyV2NuXlv+dUwJphrXmhv8whY4LFHVRSsEuat1JK8y2RcMxmOcurQ cfrZ3As2Wu8cQcP+UVlqbOs8G6MrJl1pkva6y+/LYTejPgfMPwGzzPEGfNCOnDFo 618dVzGc4c8BUjpHg5Td96o1d4+1aLedp8r4Vd4eI5/xg3jaFqruPL25HANQZcc9 rnaLHmiTSOUvxkrFhNbQt+4f3GqxEgCawZfWNDHhzeGw+9Gw57o= =9fjV -----END PGP SIGNATURE-----
