Back to z3 PTS page

Accepted z3 4.4.1-0.5~exp1 (source) into experimental



-----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-----