prover9-manual_0.0.200902a-2_amd64.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: