Back to coq-doc PTS page

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



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 11 Sep 2022 14:38:48 +0200
Source: coq-doc
Architecture: source
Version: 8.16.0-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.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 f6851f33b5a224dceb02b41d8d696a8903a3ee1d 2626 coq-doc_8.16.0-1.dsc
 333e974b2368da8f499fb487d196ab69b85c3517 7397421 coq-doc_8.16.0.orig.tar.gz
 4485ce84ff4575f4a22068875896259662739526 7760 coq-doc_8.16.0-1.debian.tar.xz
 2bb41b1ffab2fed9d2cf161472f372fbedf33c80 5871 coq-doc_8.16.0-1_source.buildinfo
Checksums-Sha256:
 d9b9dc503311b4f21a3e6910936bc41508fd756dd711b6afe0ca9fd825f345f9 2626 coq-doc_8.16.0-1.dsc
 36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587 7397421 coq-doc_8.16.0.orig.tar.gz
 23c2b6f67a054bdbc0ab279302947c473091007e7f38775993113820cbe8e9d5 7760 coq-doc_8.16.0-1.debian.tar.xz
 238bf8036a710b0c88d213b1d5082c50ae23a42a35412d90bddc79f65090adab 5871 coq-doc_8.16.0-1_source.buildinfo
Files:
 c6da1314191e4a1b7b7c5e85b02dae34 2626 non-free/doc optional coq-doc_8.16.0-1.dsc
 25d03ce14d34448d6015f5dbc6f2ed2a 7397421 non-free/doc optional coq-doc_8.16.0.orig.tar.gz
 273186675ea5fa18f583d73db4d52722 7760 non-free/doc optional coq-doc_8.16.0-1.debian.tar.xz
 ba0816603b3534bcacfdf2ecee88e0c0 5871 non-free/doc optional coq-doc_8.16.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMd1yMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmtIQAKPIN2mFTirrMj7FGeqPgMZ8HcyyEI12
qnT7dOjr+1qMO0KshOaqzga/7l35zo1ToJtaxacYgRDiBXIe7U7aKAkY9ZFCrNSE
Z1ASG4JvbPrVltQIoEAQt3XaN+6Ezjp35nSVG5FIyt90zBHSPe1N8esuyZ9pxQF/
XcWcj9xOj53Hb4eiAuYtYc7iH4RL8mt69LEWlYFAtKQ8aq4BTvDk4D5G1VWYCScJ
x2j0pjjrXef7Eh74uSO1/ezgT5cuztiibgw1MdyeOY7id8YgDShC/Fq7qG5mSImF
DtUmGCybaFh1ChKwPyUk28/VUuhk/fw1PQWGkBjNzcsOpYtZ9J5k6a9MRYYDbJHk
3aKCumFqg75CTOGVVmhNiwX3AJMITeHt2EOL8nkrFqY5qaOg9Zr5HLrBz1g+12pk
oHCv3e5oWA8Tg4s1R8v9dQ5ZwpKV1OVQ8MjvR0Oxo5EjyfU9RD/EvsKpjzWrfEIO
ibAusA4BLXO31eHEQkWOeEpiBIzD+Gd7YhctCXjWof2xs0gs5VKhBKnBPdNu4Cl0
Lav7gc8GFZjF04RWnpNRvAFw5CcYH/u7VeS4nwfzpVApghvq1oSEgCIjbfJZXqi/
eQxNjXBIxxEknLKCDvn3aYSfVLPkOyLAML+JnDOLZloXoCODq7D2NDPKxfpdGH1Z
pOmySIvGvZgQ
=jLDf
-----END PGP SIGNATURE-----