[ubuntu/precise] coq-doc 8.3pl2-1build1 (Accepted)

[Felix Geyer]

coq-doc (8.3pl2-1build1) precise; urgency=low

  * No-change rebuild against current pkgbinarymangler to fix broken
    md5sums. (see LP #875466)

Date: Fri, 02 Mar 2012 18:31:49 +0100
Changed-By: Felix Geyer <debfx at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/coq-doc/8.3pl2-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 02 Mar 2012 18:31:49 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source
Version: 8.3pl2-1build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Felix Geyer <debfx at ubuntu.com>
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.3pl2-1build1) precise; urgency=low
 .
   * No-change rebuild against current pkgbinarymangler to fix broken
     md5sums. (see LP #875466)
Checksums-Sha1: 
 c05e33309e434f310075a13ced6cb0d954a3768e 2250 coq-doc_8.3pl2-1build1.dsc
 dadc5be5e41c37f1a1d77908b75e60140e22d77c 8788 coq-doc_8.3pl2-1build1.debian.tar.gz
Checksums-Sha256: 
 6a9c34e61997674df98d0c85f4bc87ac0d25fdb46430918fa2ae782f66c50c2a 2250 coq-doc_8.3pl2-1build1.dsc
 ffe458306ac0f27d2a842288a47a01f95cf5ce87d19d9dbe4f3a3b9cded8082f 8788 coq-doc_8.3pl2-1build1.debian.tar.gz
Files: 
 e1dd37a36b136240ae970cd8d6ae4be3 2250 non-free/doc optional coq-doc_8.3pl2-1build1.dsc
 546a3fbf1fec03f743f8e8b061427453 8788 non-free/doc optional coq-doc_8.3pl2-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCAAGBQJPUQRTAAoJEP4ixv2DE11FVXoP/i6XJbQs/3eK2PDPIEjymutW
OOtKEGFFo5luLIwcEaxFAqxm8/Ht0pDIfhH6zokHs6B83ObAUsFFkLziidWEMTJV
8YyAfG+fTFnwUsIptHsYbRMk/KW50oBfXVAn8yvqQyazATz9n/7HfbuOGuw3OxZB
QHGKWdL7TVnQKMDLisj1iWj9lon5xtvRCbJPEV34bmYVaHZf1+oZwzrgfJVAYLiC
4jUTcCqgGvkugar+3J85/4e/UC6/za3jbtCgVPxgzyhXvGo8EqHh/+ms4yV7mbMW
DxppU9YBIQRPhmBCtxFtNlqODav4q5bUMPZvlIHkppPlmwRMDaLX6tDULwya/jRn
h69Ogu0GUMSZAqjkBO5D0GwLAV5OagSMPhYS7mSacTuAOcWIZHlWJab/pxjv8him
PdgZLvg7RFz8U4lyGg5K1/L67t5d+cePe6EXv/zSt9xfD97KZ9eI4ZLpNz/66U4y
JiM32ZOZGOoqtfREXHXGQUO2/mVUNBkCNgPnnsni6FqpK17imq/VQoM+xTkHZPAq
sDHa0pzYAay+gNGOUWfFmbdO4jLZlaSx+nxHT/r8ikUab1mKKdKe1Z4DHJxlyZOc
7LN4BtEDwwy5cX+ijyy2/WOVai67yYznUtt9v4fgqqduxex9GmtvNUP+iXrgHJar
wrRKg+0H50IzSN6Ksq+T
=h43I
-----END PGP SIGNATURE-----