-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 17 Feb 2022 13:27:49 +0100 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.15.0-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 Closes: 1005920 Changes: coq-doc (8.15.0-2) unstable; urgency=medium . * Fix b-deps (Closes: #1005920). Checksums-Sha1: a6169cf6126ce3aba90a37eb28f5df2927c7f440 2412 coq-doc_8.15.0-2.dsc e3ec5dff4c5da4d167042b86ff4ef9c6b90a9a99 7528 coq-doc_8.15.0-2.debian.tar.xz e84e1ddbee8aba91a64878b5dee6212b4134154d 1419852 coq-doc-html_8.15.0-2_all.deb 70fb01b1ecc84ee6f8597bada1a0ae178e3f3d1a 4065332 coq-doc-pdf_8.15.0-2_all.deb dc4d4f8178f042e4d1ae606d35b725232fd3e05d 6460 coq-doc_8.15.0-2_all.deb ee7578798f59e51ba91aff82df77209f8ce914ae 12871 coq-doc_8.15.0-2_amd64.buildinfo Checksums-Sha256: 9ae98adf9a39e01ae0174c7afd6fe482e50258fc8079d2f523f52275a7ba7d55 2412 coq-doc_8.15.0-2.dsc fd7e69a1f6263198db9de91526da7dfd742498d23f4e017327b208b6b709f99c 7528 coq-doc_8.15.0-2.debian.tar.xz da1c31dc796e9f211be0191db3e9b6bd56eb52d1e3ba3c4533c7d50a55204b66 1419852 coq-doc-html_8.15.0-2_all.deb 2742b205c8efa6b1952eff89d9813c872de4726c5d2e37cc6916c60e3e12aff0 4065332 coq-doc-pdf_8.15.0-2_all.deb aa196a9ff2f2d36aedcd420299f65d7789ca3c6db5b3b45cd434b9f5dfebb18f 6460 coq-doc_8.15.0-2_all.deb a30c97dfadfd4243015b786c38ee2692e01ce0f5f8cf6b9bd6c2171bc7fc34df 12871 coq-doc_8.15.0-2_amd64.buildinfo Files: 0114fe6d91a6d83e42194953dc6efb0f 2412 non-free/doc optional coq-doc_8.15.0-2.dsc b1f0886128ad7877bcb3ac8ace7f54e6 7528 non-free/doc optional coq-doc_8.15.0-2.debian.tar.xz 9c105fcfbcef15bd45e0be2fb8503eca 1419852 non-free/doc optional coq-doc-html_8.15.0-2_all.deb 585732218041735795ccb88cd3bc6174 4065332 non-free/doc optional coq-doc-pdf_8.15.0-2_all.deb be64606018a6605d48fc615fccccf730 6460 non-free/doc optional coq-doc_8.15.0-2_all.deb fa6523711b5cf0f76c50bf20a511bb02 12871 non-free/doc optional coq-doc_8.15.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIOQWMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRCdQP/jXOZFXN5auqbHzgcfrSBTN8B8lIgfGU v/QwlU4YNfYyYyi3LIBLu8XPzaHV9zfpoheWUOSCOZw0XezYmD0xqnyPKYbMJoTS ocqar2GbCcsSIzscYb9fZolLnIb7SDYPd4JiEZxL6wyhUgD8xvQyNRU6yGfk5Dow s2EDaIhE5SY8Hhqur70AEPDa/eMQ1pxvmtXEUAbkIXHYLCfYz3E9CuNctoG17Unn sBz6SviKFjafh0Jj2NCYKUwE2E+SHOHusBVZ5TWtHjuzRSvNFdSiA1k8reswvwqP R88LbA7NoFb3geXQd0KaUYuLFwi4qVQ9we19+3590o7rQu1Xm9ly9Fxqte0mO3ul xV+Bhef3JoEb/+Y/rj8EUI7GwjxS6M9oerMRvIYBG95VtDZnM39uKhnLmrKA77PE fbzt2Eg1cFn7eJc9qFSXwOll2yNm7nr0eXT/ZKJm/3KJsREcdR7ZlnUEhY89wZts d7/Oz5pb1pWAqHAQvo+vcdHcftrXNO/nbN8Xxo9l+/ikhfPr2TihY50KWRRNxus2 t+sWV04rD04m2xjqH8W4PGWtIt3dps29B8DOtT4cL6mARp/6W/0GEPtlN/6S4ReJ GpL3REvJHV8UJ40KOYWGdpwMuopg2RK2LqqH7nm5Fgi9vEGOZIk38KXQ2DrEixJ6 YHYXXu8856ZG =Fy/p -----END PGP SIGNATURE-----
