-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 22 Feb 2022 14:02:25 +0100 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.15.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@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 Closes: 1005920 Changes: coq-doc (8.15.0-3) unstable; urgency=medium . * Fix b-deps again (Closes: #1005920). Checksums-Sha1: 9a4863315a8588f3dc42308f6861794fc1640b66 2554 coq-doc_8.15.0-3.dsc c988c5eab24607a2193eb56b16c7b515002e6e1b 7600 coq-doc_8.15.0-3.debian.tar.xz deb82347022764be625cf88532db3ff83a3b9082 1419864 coq-doc-html_8.15.0-3_all.deb b5a6a9067bca7917cd677f1ed64c210697a3c76f 4065372 coq-doc-pdf_8.15.0-3_all.deb 122b53266462daac288102a04f909b8e046370b0 6484 coq-doc_8.15.0-3_all.deb 508194bda0f821298477ce33cc0e97aef73fd299 13368 coq-doc_8.15.0-3_amd64.buildinfo Checksums-Sha256: 738df330b2eeb0b1cba3e8c7852253cfab2ca595b8376e4e420578df9afd43b7 2554 coq-doc_8.15.0-3.dsc 215ec135c804ec5fe7788c56efca77378fbfc92cee61f8ea9e68f58576472fb9 7600 coq-doc_8.15.0-3.debian.tar.xz 9b5f7e65f4b0aa0f633e1dbe3350db4eb49640123be9d75534a760fd5f1e216e 1419864 coq-doc-html_8.15.0-3_all.deb e342d7620a4b1f6545c7ba1b8a2684ce0f1dd7d5b38bbde11913b12598a51554 4065372 coq-doc-pdf_8.15.0-3_all.deb e7ef103d650e7637a7ddca9dd1da2d777d237f6346f9cb9c75d8834c91387034 6484 coq-doc_8.15.0-3_all.deb 22cddc8a128520b93dcb2615c3839599c8c31cb58d10bee45d7d3a52c315fa16 13368 coq-doc_8.15.0-3_amd64.buildinfo Files: 0186ed69112aafb5ec43f2c4e144ded0 2554 non-free/doc optional coq-doc_8.15.0-3.dsc ecbbf32e0a19e11ddbf511c83022f00a 7600 non-free/doc optional coq-doc_8.15.0-3.debian.tar.xz 56470b77a3d65025fb9e555f8bdbb1bf 1419864 non-free/doc optional coq-doc-html_8.15.0-3_all.deb c8fd7ccc2d2c15a5a2b51f95e074af44 4065372 non-free/doc optional coq-doc-pdf_8.15.0-3_all.deb 3b705342b7a1ad64b715075125407091 6484 non-free/doc optional coq-doc_8.15.0-3_all.deb e8fe0330b68f92908bf3bbe651d8e662 13368 non-free/doc optional coq-doc_8.15.0-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4M8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR8+sP+QGzmDKA85xka2wmT4s4mtKpJEoo9AHZ YVMLVITenT45vvRgVPMNl5i4Sofk+/BG55u7noFyyCGF+hzkxTApqEnzEdeMfuJF DkTACmoHhayznm++X2WZ805Q4xELmk5uEee7X44y/lyhhjqbum5OcnVfPkXHnFHe rLLmVtkeymLH9wgUl311NeC8eRtraA5wDaoupvJcHYm45oxe39KKdJrs8O/98o+9 ezOSp4WfqLzVY380EkDg+fRcjtICTjF8CprlHRW0T9akFqkxaTD3gMrq8GimgkaY itQAYxvgLsYqVYZnvVJo64ZVWONUVuNOxrdkDBtJ/dcwjc//329mlIPL7LyLpOaX YJK2Attj64mdrtlRP8N0UvvNwgVdlFdrKdFJtyLcKogXz64A+WBOkH7FUI1cyQws +7J6d0RmV3wLyxFyuNuiZi+2PEYfoRKNet/zBkYw7W9ZLTbV3EYIXIdRVEIIoJst Qu/f06vteaEthbDjIaY2lmGDzj6EZNhQpDZQZL43F4HWpjm8qstIoaGxRPgb2QWz Ndtq5F62jk9Ohu/sBHdQSPNfOg1GNdRTXfKyNfEcctCq+BHdAHKTpDqH3JRo9VeQ 00i5N4iNGUMliAsLZs7jCc9ch0VUaNTTjJrrXbS5RbOg3GQjNVPLCZy5lULubECX 6Gq+KnI82y1p =/sKs -----END PGP SIGNATURE-----