Accepted coq-doc 8.16.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-doc 8.16.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 09 Dec 2022 21:21:38 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-doc_8.16.1-1_source.changes
- Debian-source: coq-doc
- Debian-suite: unstable
- Debian-version: 8.16.1-1
- 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=IocZf09AjnTTY4ZFyOdpaB/xt0rrwPhS2MnH9ymhqDI=; b=AbJ+1mFayL25pBFyC6vk18UNj7 BVWxrQ1rl8Iq9ahdHfKaSDLUCr2BT7wyvVpnMCUmnTK5l+NWLHxQQMgL7mAYUYozdsDDrQPcuTw/g CiLILSuP+cwkNUutTD9081Rqce0lm7GaQGw9AA4k3YgM5h05ronVsYmgSb/ho46oWSRdriVIOYZXE C9FMJ3g0LCZlQ+Mj1p+i3KayeQYhFNZs0WDYE0bZjKS9LOLgR6IZ6y7KOaLyXGN9z/84l/FjtxgUF GcbqdECWOeKFm2/6NFsRBDd9xexvwUP4NPzrFCXllg5QEvPmhle+s+rVFQNTOrXQ/Qj8aRYRGNet8 fIdIO7Ww==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p3koM-00E6GR-Je@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----