-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 16 Apr 2019 14:30:31 +0200 Source: z3 Architecture: source Version: 4.4.1-0.5~exp1 Distribution: experimental Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> Changed-By: Sylvestre Ledru <sylvestre@debian.org> Closes: 926939 Changes: z3 (4.4.1-0.5~exp1) experimental; urgency=medium . * Package moved to salsa (Closes: #926939) * Standards-Version updated to 4.2.1 * Fix priority-extra-is-replaced-by-priority-optional warning * Moved under the llvm umbrella Checksums-Sha1: a2c9d4c729ca593a5dd5280974afbf254c05af56 3026 z3_4.4.1-0.5~exp1.dsc cdbe3b3f569d4ea79a31d034f844cd5f3753343a 14560 z3_4.4.1-0.5~exp1.debian.tar.xz 86a3a5f292f473a4e414d82a3e38ef67b3a71c88 23971 z3_4.4.1-0.5~exp1_amd64.buildinfo Checksums-Sha256: 14eef74fd96119e9dedeade1847310749072730aceccebd62fef4e636c37485b 3026 z3_4.4.1-0.5~exp1.dsc 35567d953a2a2f7cfd272452999723c771266a58b3de3a7824071027e344d358 14560 z3_4.4.1-0.5~exp1.debian.tar.xz 7270a7819502068391a014478dfc73720c78e11db7cb18b919a7a35a4520bafd 23971 z3_4.4.1-0.5~exp1_amd64.buildinfo Files: acfac40a92b9679238a67cbefb9b3aad 3026 science optional z3_4.4.1-0.5~exp1.dsc c8ff072fc4acc08851b49e5b1646657f 14560 science optional z3_4.4.1-0.5~exp1.debian.tar.xz cc884fc651058dfc01e521059f49e91e 23971 science optional z3_4.4.1-0.5~exp1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtg21mU05vsTRqVzPfmUo2nUvG+EFAly13mQACgkQfmUo2nUv G+GMtg//eH+UfLezZz7BiU33Kn9BU8iou3tZDOc6Cb3vWQJWd+hwcsaTXMV+0TcB oMxfjmF6zcQhfEN84Y0XLGAc1G8DGZaoDQOGjGyoDYOmEmC3ZqBCgTZAjBYOm9j0 Lfxe3nJcxKPyoby7ddRZ8ySoMDiAaDI0xjgmou+m5/Iv7nybCp1uOxHrwfncmNeq ujm2YHepAXEoBSnSE6e6k4RjShwda0bydJY3+DaB9Y9fdMZbPyrmw9//CPWRZy+k 1Fvr8ayzLNslIK7Fkp0kiBOd50+p8zdWn5wwbSs+JNSiDXFtqk8QnQMYtN2s7JAk J2+9x1xfQXVovv1ggoyBI5M8+SQU26vx+R0SZlDTzEaRyKOn581ZO/dHcbCDr0uQ G4SyCal65ZRcXZyGNB7x8nepyQNutcuDhdFm1M+xcBugKKRBddd3HN7otEzWWAOq hjvjnx0YDqfSpZprvlHSfNLR9BD0HHexyC5fu/7/KbR1LtOCqrfHrXKxD9RWpg0f XeU0+sRU48exA6IOBArk6THO7YFoF2x4ojqbDWsq9UC4H+/6BKEjVjVnRDN3OAFL JJeHgQOfoq6o/+kK5ebCl3ZZZLAfpJGvcLiIBfgJ7nXyp23Z0STl3b5kmhX2JbZ6 y/yMm7AGPgzuhC1eGy8+p/+QGLdtR5UVA8EO29F7mLHiWWMJy9c= =Rzhp -----END PGP SIGNATURE-----