-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 14 Dec 2015 15:48:42 +0000 Source: p9m4 Binary: prover9-mace4 Architecture: source Version: 0.5.dfsg-3 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: Mattia Rizzolo <mattia@debian.org> Description: prover9-mace4 - GUI for Prover9 and Mace4 Closes: 740323 786257 Changes: p9m4 (0.5.dfsg-3) unstable; urgency=medium . * QA upload. * Orphan the package, after request of the MIA team and ack from PAPT team. Closes: #740323 * Also remove Vcs-* fields, being removed from the PAPT team. * remove long useless debian/pycompat file. * debian/control: remove long useless DM-Upload-Allowed field. * Build with dh-python instead of python-support. Closes: #786257 * Use source format 3.0 (quilt). * Bump debhelper compat to 9. * Bump Standards-Version to 3.9.6, no changes needed. Checksums-Sha1: 48372b4a74e87aa8b3dfc6e6a9f5a4527c34ad85 1726 p9m4_0.5.dfsg-3.dsc 950ddc7eb07310e50d7c23b00cad3db4b2857714 8792 p9m4_0.5.dfsg-3.debian.tar.xz Checksums-Sha256: 7e3b8b4e57d6c1af5b75c8919f6dff4455e4f5a80e463e64c90d2341bab98366 1726 p9m4_0.5.dfsg-3.dsc 960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b 8792 p9m4_0.5.dfsg-3.debian.tar.xz Files: 57622870c89be51e690e1d3ba7b619b6 1726 math optional p9m4_0.5.dfsg-3.dsc a36c50463727eb5eea0af31579a99947 8792 math optional p9m4_0.5.dfsg-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWbuT4AAoJEEsEP825REVAn8MP/36SOGaB34jYOj3maXo1IsA7 Z8oR6H8RPL38RAQdr2vwJb77AOWwOZbbzw/jbdeLoWhMSEHYEtS3YErXa8WznsHs OKGYwPHOG6lfAxyzYyMwDhYDFb/gE/xLJbEkXLsUepn7EELutTDYYLP6sdYGvH/9 es1EybwHfQcl+8bYqtrp9xtTKXNyfjXIyDoULx6a6ycPtygKZaCScLfN91QCIpuj uVwX/Q323NVOQGeeV+h0OxINconowl9gKezBHlkDBdZYujvWwHcvoSZQjK8rlONU tyavhNeO3vHQw+mMvkUNnfgPcVD8baspcqAKhORWJDlCPWyeU54Dq8AhEV7xjuu3 x91OMdRwLZF9CoXNDquj33CHF7AmbxMunYfSjxxBve9yNdT854tCW5ozX+XbDbS2 J9bT7PeiS1SJi7RRTOeoJ0VTt0GuuOKKO9fVwFzFiUZVbDwDbaIAEkbaxdpnsMPH 8HDlGJB0CrzbmRhcTm73MPrmS4Kk/NIYpl96+EB378+Wdx2mX6oL6POfSffQWzeK v8a0Ykz5t6KNIO5+h8/N7q13sVNHLXopApfkh82/QGmWHEWw8N7degMz3bmiPUud bNhA41uf2D4KdZnfeVtmcxXLoj29Ce0/bEsu5MYiIZKv1xUfs3PE/FXHp1w36Oif O3pKsnDQmo+G29cExeUz =yQaY -----END PGP SIGNATURE-----
