Accepted coq-doc 8.3pl3-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 03 Jan 2012 23:42:48 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.3pl3-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.3pl3-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
d0cbf17acf5670b943b4f4ce66653f1173b3037c 2226 coq-doc_8.3pl3-1.dsc
a5b0cbca8bf556fe7eb804ccdb39bba49e1ae014 3859883 coq-doc_8.3pl3.orig.tar.gz
695e05a83bd4f87c972eda9a2529eb17e93fbc81 8677 coq-doc_8.3pl3-1.debian.tar.gz
a039dcbb7eb26f7a3e948fc6731ab66dcd7d203a 44338 coq-doc_8.3pl3-1_all.deb
a2a46c5b62f2f7606b06160999de8fc2a4161183 555860 coq-doc-html_8.3pl3-1_all.deb
de78e9092f9613567ab255b72f9fcb67f87c28d8 2431094 coq-doc-pdf_8.3pl3-1_all.deb
Checksums-Sha256:
0a0a2b68ea76a879a1e9f711b6f98c372f81c6e5addb52f93619fdddeab2c062 2226 coq-doc_8.3pl3-1.dsc
af259e9a723761327137018fdc0b98ada71095ff033b9e169d175d92b9537947 3859883 coq-doc_8.3pl3.orig.tar.gz
056ab8a625816c3f97726344b79f6031c516ee93534e724c2acd9e25a92e7806 8677 coq-doc_8.3pl3-1.debian.tar.gz
691172e63acb4728693d9761d4fdc8950b9fd9cacf91918f2e5e076116299153 44338 coq-doc_8.3pl3-1_all.deb
df61b99f5a422412fbc47724acba9b49122e3c4dbd1906dd5e6795743ecdf107 555860 coq-doc-html_8.3pl3-1_all.deb
e8e72c616bc192e4a067f38f74755135fc54e6fddc9b5ad946aeb29cda2c5397 2431094 coq-doc-pdf_8.3pl3-1_all.deb
Files:
8c431cc4b1891f6b47b7f87678892ba6 2226 non-free/doc optional coq-doc_8.3pl3-1.dsc
37e9a52110a025128667c03fed75f9c2 3859883 non-free/doc optional coq-doc_8.3pl3.orig.tar.gz
9f0ad48a52b6a30dc449c7e73e8a5b6e 8677 non-free/doc optional coq-doc_8.3pl3-1.debian.tar.gz
9c34365fe3c183abc69b31be7e41684b 44338 non-free/doc optional coq-doc_8.3pl3-1_all.deb
03cf1dcc1a406676d51cbc71149950df 555860 non-free/doc optional coq-doc-html_8.3pl3-1_all.deb
9376c126d2ac349d86d2070be94eb689 2431094 non-free/doc optional coq-doc-pdf_8.3pl3-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPBAGvAAoJEHhT2k1JiBrTh/YP/i2GBOkpxVgGNYiTjzvieOm/
JmkO0B+nvbrV+IuGPTp9CbUdxEZ1k6sdWW4VtWfDT1SkXJ6r+HNU6bAtDFO/YvPc
Hhr1yVcKr2mk2nbRJZ4di7O4C5YlrBSka0K5xFUisnVlhVZhJ39Y535QVWanoZGU
ZvycDC4T90AGT0Emo+tcvc89iNKE7lQ36tymEe57aMVa5JeZ8r1cmv7WWEDPJjpz
s2tOUFy7egLOtkTzQmkFyo0oLGL5PZYWoHsHjg/MyQyVv6YwUuz2q7Gqv2ijkLOI
U53S/17yTVfD9ViYIaB7PMQ1BDaS48X1Rdg9nqZknVvEF3rVOSZR/7H91Gk4QZMb
tEOysj4FgKq0sj7MgNigMIfGZcbxVgeAgUs6LBd8PKA5s/E6PDGKTM9WL450ttPy
76g8yxK9CqUVKXqMAcmaVSJIhjDhlvRpHlpEc1pmX2yQ7S3BI8sR+v10u0CuNvJ1
UQGFMSrJ5kGtGVGv4BKUGO6zt1kmMj+0u7kW9SWDdBEVfzIvDBJ+/dazQJH+cwa+
q85oiOqioZiIH4PUWn+TCibBt2jfLVYXYYLK5qa8ff/pLge1r0j7O45T3FwX1QJu
L+PL1sEyvuxKtDYAKGanAIVnucq6MDf8abvTSOpvuvvqiKjauXQopuN61jiBKRhy
3kOaxi0YQ84FYLdULZ1C
=I5MJ
-----END PGP SIGNATURE-----
Accepted:
coq-doc-html_8.3pl3-1_all.deb
to non-free/c/coq-doc/coq-doc-html_8.3pl3-1_all.deb
coq-doc-pdf_8.3pl3-1_all.deb
to non-free/c/coq-doc/coq-doc-pdf_8.3pl3-1_all.deb
coq-doc_8.3pl3-1.debian.tar.gz
to non-free/c/coq-doc/coq-doc_8.3pl3-1.debian.tar.gz
coq-doc_8.3pl3-1.dsc
to non-free/c/coq-doc/coq-doc_8.3pl3-1.dsc
coq-doc_8.3pl3-1_all.deb
to non-free/c/coq-doc/coq-doc_8.3pl3-1_all.deb
coq-doc_8.3pl3.orig.tar.gz
to non-free/c/coq-doc/coq-doc_8.3pl3.orig.tar.gz