-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 16 Jun 2022 07:59:09 +0200 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.15.2-2 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 Changes: coq-doc (8.15.2-2) unstable; urgency=medium . * Declare the package can be autobuilt. Checksums-Sha1: 7f773f464816d0ce29463545224c8a87657a7b7f 2580 coq-doc_8.15.2-2.dsc 310d8f7aa998e15dcc09fddcfc7b749fe7d207d2 8220 coq-doc_8.15.2-2.debian.tar.xz 8f7c3291923a4af3dcde3669c2dacd17c2bfbf3e 1422416 coq-doc-html_8.15.2-2_all.deb dd0b3ab1dc5f11c979dffbede798948eab96eaac 4085408 coq-doc-pdf_8.15.2-2_all.deb b1cb7e8fd166b4c4c271b21ee17e2026967dbd47 6576 coq-doc_8.15.2-2_all.deb 5a14e26479ab771c10ba37cb74521e7931dd1e4b 13005 coq-doc_8.15.2-2_amd64.buildinfo Checksums-Sha256: 5073a8c8a988ccca692ce84cceca8909bea7b498e09ac23a64d16d3d4668dfad 2580 coq-doc_8.15.2-2.dsc a47a7785308f429275d73f49a5ae27d604f23f2c89c6db29c1e0953d503b3caf 8220 coq-doc_8.15.2-2.debian.tar.xz 7f9bdd9887b0f4ab5ae28c4a427d6166f8bc6233ce3502d8ebf1f98bcc8da41e 1422416 coq-doc-html_8.15.2-2_all.deb fef9bcc88a7ecb585a838d8c644c0d9a77e4db64373edf4aa1f867b723d781da 4085408 coq-doc-pdf_8.15.2-2_all.deb f61561253bc5f86ec6349f319460f47435cb8097b5dbaf04b79aa27bebce3630 6576 coq-doc_8.15.2-2_all.deb 9859a1bb9fcf9d158005385930c15b3163617a5ec39eba516220d70a1f5e0eb7 13005 coq-doc_8.15.2-2_amd64.buildinfo Files: 0861337a9e7a505828f3f982ada0a076 2580 non-free/doc optional coq-doc_8.15.2-2.dsc 6325e1df9826b304a955a96557102447 8220 non-free/doc optional coq-doc_8.15.2-2.debian.tar.xz 840ed2790566fa44c53257383c9c7f20 1422416 non-free/doc optional coq-doc-html_8.15.2-2_all.deb 9e5752093c1bafaaa6d15f6c805de8da 4085408 non-free/doc optional coq-doc-pdf_8.15.2-2_all.deb 17624d7cea80eaaad27f03e2f9fd71fe 6576 non-free/doc optional coq-doc_8.15.2-2_all.deb a2d2a642e3122fa965f386e684fd27b1 13005 non-free/doc optional coq-doc_8.15.2-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqyKISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRvlQP/31+RmDcpU6AwUEy8f/DsKGYmgUqxEM4 jx9TKULeXHvVuB018Dw8DK651fXB7aygPWYPzSix3fakSTKQ0o7fK5VUfQBfXzxp kpPzih4eNT50asZPrFl7987gp7bjqW+21aBWqXrxfQsie5vmNT4kddsbIbyGNJma nYSzD3W5kFD/q8rYxlekfv7JHhE1bq9uOiX6V1pfg5WDHUH/6oqZLYDrNAhMobll QWHpX42/lnSzhjTUsVNzRzFrwh80sMGdnJYpCF93RgDlo2at8U0Pfnb7YqnrQ2wa eHJ0WQGtUs2lfM1w4TbaQ7sPKK8s3pmt/DaDyir1cYwpeiaMAgQoAB52RytXLJZX b4/3x1jhMUObo9TQjWIdLiy9/PYRfYFkA1Zy9JlyBPIPvyqvVyddNOgcHNbW0ggS mJx4Vx0SOc7j/iIqx83lzgFHAAiTIUPUVZnE4ra3DDHq9a63VgdO84lMCUzf2OUJ NcAnoPp3vw3rIxEsAM94CwSdqCIvzgztQRQrN8OxIgs+JVfeNtznKZsocF4yEh1C 2/cdmti6Wc2ADYWP7J6aEKuHAIcXS615hnVTp85WASCso2jBA7SqV3EPkQEl/nc6 0V+L/FvB7wnv0pud0bOlRmf0xKOVz7sMMaPMdsnh5Qlwaz0piIR2TgcDmlh5+oYv PKavw1/PK1xJ =SDta -----END PGP SIGNATURE-----
