Accepted coq-doc 8.3pl4-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 06 Apr 2012 07:33:19 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.3pl4-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
coq-doc - documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Changes:
coq-doc (8.3pl4-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
8bf46c40804e05606d3eb5e90a258a2652ff9ad8 2226 coq-doc_8.3pl4-1.dsc
c1c012b0b4fa134bb34db5353696b40fb5a213c8 3855074 coq-doc_8.3pl4.orig.tar.gz
233add03094c4bdef1708647215622801b05a794 8614 coq-doc_8.3pl4-1.debian.tar.gz
7de4d35f2f84ab4b7a81c5dc5a89b814992ddafa 44868 coq-doc_8.3pl4-1_all.deb
7c5e4e0fc7b3bb03d2f07591eece247b3da1ecea 556424 coq-doc-html_8.3pl4-1_all.deb
fb46d289b274df3c28f840fd52033abc573b20a5 2414996 coq-doc-pdf_8.3pl4-1_all.deb
Checksums-Sha256:
3291c3fbb6ce4a2bcd0c18ba32f2659f297d38fb22dd442c31911fca3d609ceb 2226 coq-doc_8.3pl4-1.dsc
79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d 3855074 coq-doc_8.3pl4.orig.tar.gz
eed0fc02536d287543d1a30812995d0dbe580e302e2635d98c14734be47380de 8614 coq-doc_8.3pl4-1.debian.tar.gz
5801338ffb00b5e96502246e11aa38b4126458c6185b12c7659f10a174aa06cd 44868 coq-doc_8.3pl4-1_all.deb
2239066cfecd3f4f2483f39af613f07806cc68a5531312655d5dfaa7eadce799 556424 coq-doc-html_8.3pl4-1_all.deb
0ff8ca0bc2b255db573a050c3f6c3b44b513d12b7cf90abd6e8e1a29f659e0ea 2414996 coq-doc-pdf_8.3pl4-1_all.deb
Files:
2fe14d2e2086131dda4f79223a397662 2226 non-free/doc optional coq-doc_8.3pl4-1.dsc
88e2ce021b09eca207e3119d5202a695 3855074 non-free/doc optional coq-doc_8.3pl4.orig.tar.gz
2f75cb882a65f1f14cb5aad4dd653d72 8614 non-free/doc optional coq-doc_8.3pl4-1.debian.tar.gz
41b4cb6eda684c72659cfb788f1f8ae9 44868 non-free/doc optional coq-doc_8.3pl4-1_all.deb
8913fd0a1a550188c8c716ab791a98ac 556424 non-free/doc optional coq-doc-html_8.3pl4-1_all.deb
35f11d06346d1e92748400d37fa128dd 2414996 non-free/doc optional coq-doc-pdf_8.3pl4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPfofSAAoJEHhT2k1JiBrTqqkQAIPEsD91aSntv460DwwFmAVP
hVieC8brjd9ffcIkUyT+kr+0jddo4GU3qXVsIUAEAFqSmaAa+dwuXlOHEWjjJMsO
S5vz3Z7qxgyvyLFH14p7TFVw44lFK9+zWtK6AnuHGT9N86GAaVrXNC+bZ9CvMEcQ
LWsdyagscbQJQ2hRa6W1ySZyv5jPYSOLTeANOIgpj2ATesRV85JXy/4y4qzxXoWY
CYKzfRXnS4KzzrHXECOFO9wGRaUvv+zIocK9KO35XsQy7mSm53wz7+sso4tJoPiZ
mawIyDpHsc1fbUC088jLyd2r8cdNLye+W0+iXv+0/++r0dQD9BkJhomplhkSfVuH
AU6cJpDg0n/43O+AeQ5G1Pi84cVJmRsRZTgcpAuJ7euVOxBXxr5e67gnH73EGmP/
vCcaZ45ATwjxDo6ZzIql4i0tpXLsv6HfNENqpeWmGGhrByHAP8nmP1jmmXGCHRVx
nOsUar7a/bUaCyF8/v8yZ+kj4P7Onmbj/eRMMnQW3ea9qBenX+huyOosD9v6Xrc3
BAWykYbjDlaPzsjjAe97EpS8khqrjpLFHNmMLXHhZJobEaQzlLa2qsQ3C/6sSVo6
2/jXCHx6/OMhREWCDT3jCNo3zVBS1RgoRXtw0GYhcRzUksQH7UlKohfvNd9TnQNX
ZycQ9bzc0dvzj0pfkjTM
=RjYM
-----END PGP SIGNATURE-----
Accepted:
coq-doc-html_8.3pl4-1_all.deb
to non-free/c/coq-doc/coq-doc-html_8.3pl4-1_all.deb
coq-doc-pdf_8.3pl4-1_all.deb
to non-free/c/coq-doc/coq-doc-pdf_8.3pl4-1_all.deb
coq-doc_8.3pl4-1.debian.tar.gz
to non-free/c/coq-doc/coq-doc_8.3pl4-1.debian.tar.gz
coq-doc_8.3pl4-1.dsc
to non-free/c/coq-doc/coq-doc_8.3pl4-1.dsc
coq-doc_8.3pl4-1_all.deb
to non-free/c/coq-doc/coq-doc_8.3pl4-1_all.deb
coq-doc_8.3pl4.orig.tar.gz
to non-free/c/coq-doc/coq-doc_8.3pl4.orig.tar.gz