-----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-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1rilz6-0007li...@franck.debian.org
