Accepted coq-doc 8.16.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.16.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 11 Sep 2022 13:04:24 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=1FaYSB5zeTu111Qz6X6KFe0zGYoLMvu0ozL3OXUu3pE=; b=WOhLmXPmRjLqDptnCBp+Kp/ibn JE05wypecbNO1WZ3O6e0UbacIc1c1QA2bCTlVe7Tv8Ftpsg7nCf5EVgKmOS2bXcgfF229vSjsAnvo 4UTDPNZMUGnxS34AUcFNHsWn1/uuPdyQlpTwEQiUGR/O1qNGmf3P2pTQXadJhg9tAYLsWqRbRGJpw BDEVo/1txRQiw/cbdYQtUyaf51KrwBKEKM+G/X+bdhN+9i1GHZ4wNTrIhMDGVDpBbTnHlDdeeE+ee MJUnG6WFp3EzpNYU4suxl8w5sapVg7aP9tY4FecH91E2bOVa1dukPCcRTdZUbn2s4ats+M9EnXEJL bG2wzlMA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oXMdM-005NDl-5M@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----