-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 03 May 2013 22:08:19 -0700 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200902a-2 Distribution: unstable Urgency: low Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: tony mancill <tmancill@debian.org> Description: prover9-doc - documentation for Prover9 and associated programs Closes: 544791 664351 Changes: prover9-manual (0.0.200902a-2) unstable; urgency=low . [ Jari Aalto ] * QA upload. * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt" (Closes: #664351). * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}. * Add build-arch and build-indep targets; use dh_prep in rules file. * Move Alioth repository from Bzr to Git (git-buildpackage). . [ tony mancill ] * Update d/watch. (Closes: #544791) - Thanks to both Adam D. Barratt and Bart Martens. Checksums-Sha1: d6e802fd816003be637c6720dd939d664b1e25cf 1968 prover9-manual_0.0.200902a-2.dsc bd587ac95cbfb86f66113a084063a6e6dc815ea2 4703 prover9-manual_0.0.200902a-2.debian.tar.gz 40b758a892f08f84de37121bfce86af1436cfefc 968966 prover9-doc_0.0.200902a-2_all.deb Checksums-Sha256: e825424637e9ede129f7a89a76c8a8971e96886fad39ce1186cedeeb69c2f857 1968 prover9-manual_0.0.200902a-2.dsc c8da5e0cff1666068314e3cbf29850d72350207abf9393813494bee29d7722f4 4703 prover9-manual_0.0.200902a-2.debian.tar.gz 2de79a8a16a6aa547c8678700c281f06ce1e977a6953598d45310014f20b4c75 968966 prover9-doc_0.0.200902a-2_all.deb Files: aa38b341a8b9ef4f59d4104206a0fdeb 1968 doc optional prover9-manual_0.0.200902a-2.dsc fdf84b690036f33061734981d66e13a7 4703 doc optional prover9-manual_0.0.200902a-2.debian.tar.gz 25ba8b6b4a0adc2fdf3dc127f207e197 968966 doc optional prover9-doc_0.0.200902a-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBAgAGBQJRhJoEAAoJECHSBYmXSz6WBLIP/i8YyjuIo+nqg9EGu1njAH9b pPu1HJgD5w8GnDeunObe7e0k2I96ztl8phCe7lJdzmqt0hamb7u7Y1VQAAuvQ0RP l2WGE6Pby8byAcx1jNUzAjhdsLG2FIL51JgGVIsXTMMJTXDEBhPozJPH0O3otmvA 4oOOW8CQH9tOpjuI5kwcRHkHq+wfq/aJI1d1gSypiQ96xKBELfl90kGaatl1UskV 4Q2b+7kirmIc/09QsU4bKPyHxpnreFyzvMe7Kxl0tjMr95CvZsfeHD0x2fb2PNl8 H9uY6Iy5YDRy9RUwi8BvWe7v7WYIkDTBPx+6gZfrp34jeC+IHRQpbBGt9ibjqdQ2 /tSO94r0GxTJDOfhTKfBDbg2+9W91KZTHJtlwtrw/qNmXJvnQIfQBMEQuR9M9xv7 KoO35V0iArBcO7sTHUwPbmr5qkHo2NjszJSFEM0/fdkGPVIFhHP65Wfnl7a/ewbY sbM6EodiPXH+DC7mymFO5Z3LGMkcFCBVIYPSR28L8/Hklwe0xc/r2eu4lsI3WHE5 4d/AZj2L9O/fSa5AKkVBCQ4pfZMhtnFjW9tdan8zxeA9d8gts6UsySu9M53d76Cp vOxr9Gqy3WKmiq6e4/UVC6THlnuaybgJlcnnYWxlI75uLe4u46Z6RDzinWB7jakl 4b1bO2qwUIi4aA/yz60v =YEri -----END PGP SIGNATURE-----
