-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 09 Dec 2022 21:55:15 +0100 Source: coq-doc Architecture: source Version: 8.16.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Changes: coq-doc (8.16.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 57ecb55ffc200870250d7e9b552709e695544e9f 2626 coq-doc_8.16.1-1.dsc 970018779156e04da3b7fa1817a9ebac88de6cf7 7401345 coq-doc_8.16.1.orig.tar.gz 03ca68e543de5af607bcd3166caed6f6349d5d02 7820 coq-doc_8.16.1-1.debian.tar.xz 1f33621e48be0564222a6660ddbb822742d71f52 8228 coq-doc_8.16.1-1_source.buildinfo Checksums-Sha256: cf9fc6581ecab7e43342467ac8d58ef6c928bc51f50be9fa2092e3a4086c68b4 2626 coq-doc_8.16.1-1.dsc 583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b 7401345 coq-doc_8.16.1.orig.tar.gz 9452d2c8da75fbd7bea82f5f02ec85e4de9f2e5e8d50aeb376569dae5bcc6dd5 7820 coq-doc_8.16.1-1.debian.tar.xz cf88d9b98b5bdd1fe47f98033bf0468a65eeb506c341e1cc934d1636548e24a6 8228 coq-doc_8.16.1-1_source.buildinfo Files: ce238b12fd141be1e8b53983ca626775 2626 non-free/doc optional coq-doc_8.16.1-1.dsc 4d384dbf8979c3a123d732eac4e261b0 7401345 non-free/doc optional coq-doc_8.16.1.orig.tar.gz 35d9605162e8a37b41a5aae3d8947b1b 7820 non-free/doc optional coq-doc_8.16.1-1.debian.tar.xz 3f71ea9b1ee13c54ae71718be19c5cdd 8228 non-free/doc optional coq-doc_8.16.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOToPESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbn4P/RC9/cwPNm58V9+Qh2618MWVvvuoZ7bx O2dw7wWhHFQD7K2yNKLKOntoaPc2TvAbGFu7B2dm3ZujWMcR3LwxHENSq0HLiwrf IlUyQGyChQBIwI5RENXRFaZbAC58zDNbqbcyCcrh+I63liHNTVRbWZhpR830tzzE BbVnuAjiw2cuXxFh+qijBpxxDZsUaQKL1ZmPCU5i3kTMwxq2vicPhTi46USJesEX wbKkAvpwEP9bYSM4JPfjwP9AiGL5/oHP0EmpQ/vCWLIsZrLjudr1qpiQT2I7JBBs txq4BVu1nqf2cJzfyQzZBiFZ4+day9+WuVqnnxmndO3Ed8hfFIdL/OCkLze3BEmN tWjQ/NiaJ3MvdP3X/rfGkYk+xMgRraLkY5aVSOagQu9eFsBDi007EEwiE54tFAFP MXyboZIA/0ow83nNdAHUqG4Ujf5Tl6RSumUbfPE0sC4F0mEkHJUvabyBvHaR8o34 ymQD1jRGxu0nvwr+sHQTryc1+pNPgT28GWYDqvCN8GDtFZzshEXTNRVav0PO1DYR 0j6FRVa8WqSM2v/U82IRWdGl5Dx62OrGdlf+stwWftKKwfOxc1gd8snCOCNf2Hlj Qpnza3pK8wKbmms0BdWcSZYUEdqyjQxRFc87OW31f9iSxy8OYv3SURNoJlgV/zfD GxZVByjCaGmr =05TQ -----END PGP SIGNATURE-----
