Back to coq-doc PTS page

Accepted coq-doc 8.16.1-1 (source) into unstable



-----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-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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-----