-----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-----
