Accepted coq 8.15.2+dfsg-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.15.2+dfsg-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 31 May 2022 20:36:42 +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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=oTntlahpEH/tN3gnhk/BIU7hPBQfZugytu0yUZl8mKE=; b=YzKKvdhA5Y5EYok4MGRFfaPvzA Ov6PzdtsUfcv5YgB1wqh/PSkLJdE+V0x+GSJKtEvU/P5nlylLw+7npSt+yprvwMIvixZaY7q21TKC QZr7D7YR5qYOS8eNO9AvveTPL9yE0X0GMDhshxeY/H6RP51mhRzGWsbJwUVDko0dN+NDHx6IlOO+0 G1m1+zI0D7dmiBOExyiFAgtQpmSq0GyOVjXhggcUDZslXiAkGjfz69yA2FVefx1eM9WoMPHmthf2P P7/hmCYxfNzTwD5ICp4D5I2/NrSlM6AhTokR4MlCQ+id7bz7pd8IaEp/HbUP/AagvUJAZ43j1qNJc y/UbvYhA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nw8ba-000A3g-7Y@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 31 May 2022 21:39:53 +0200
Source: coq
Architecture: source
Version: 8.15.2+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.15.2+dfsg-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
0515ee9851ce2e1a180767b99f5d11078cfa282e 2599 coq_8.15.2+dfsg-1.dsc
e6709b12f2ef7fabdd269f2c5dfd1f9268888177 4673192 coq_8.15.2+dfsg.orig.tar.xz
f2cb15d2706c3e6e647132b4344dd4b75bf4210e 40088 coq_8.15.2+dfsg-1.debian.tar.xz
e12fa2f22b07c4d62d2bfd3f66a848b359eada2b 14740 coq_8.15.2+dfsg-1_source.buildinfo
Checksums-Sha256:
3a196820f2acf08490fed1cac64087792f7778a31115f69937bbff86a843b1ac 2599 coq_8.15.2+dfsg-1.dsc
53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8 4673192 coq_8.15.2+dfsg.orig.tar.xz
b955019df8cd8d26b6a385c117ac68adf7e350fd4ff1e47985224e0d0c9ab13d 40088 coq_8.15.2+dfsg-1.debian.tar.xz
fce5c6d5aaa35d36b6132245d9d6aa767b0fed86079dcd0be114057dca86f8e0 14740 coq_8.15.2+dfsg-1_source.buildinfo
Files:
290b1bfa478541530c0332931f56796b 2599 math optional coq_8.15.2+dfsg-1.dsc
2cf170d94029eb59a01534d21f222dc9 4673192 math optional coq_8.15.2+dfsg.orig.tar.xz
52a9c55509a58e20cd95a16d059930a7 40088 math optional coq_8.15.2+dfsg-1.debian.tar.xz
97e53d0532a4b8c639c224363e1bacb9 14740 math optional coq_8.15.2+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKWb1USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYuQP/3kPOnWSjt2cxlyHH0shClZcifvgiJUs
vXdgSbNAckOmN+fCIPBJ+VYs+DALCJ/wEZvbqjVLSc2+iEfhocXMWQ0rpKTyqWfI
HbuShVOEMbj8HgTxAXC/wct8v5mqjScXWOZM5K4SCOL7qJjts9CeOpvVnIYypF0j
sjSFGvrqKbhaTq+hPy8Q3Xa4G25MdpkZrl2XTmcUdl2EhQBW/BPgkGPeVea/a4OX
QzurBXeMs+CmP7jDZkOxaHw+nwdGziD6EADmcy52yXbRn+ZkuqIgAomUHcIfnSR+
A0i3Dhhk1kAcKgy7e9zRBWrHVzgticSqUtv/tuMpzn2a3dR4qhh7ulQyxDhMXTmk
k5/LQE9VosEvY7S4PfieM+SlzEcJn/hiuQxhxsdMdGZKlh+K/kHXFAmteaMg2mG5
BnZ2DiDAwEaYtuuMUFXtalqukRgu9uKZA9Se3ih0tVhk1d/ib/TJrUOoyztomxor
Sa9K8tPYUMwCbohr6WkKeI8sp2Mju1n4gg0ozM0zE2nIdcz1PBV3ML1nqcXgTNhC
g7Mo5OkvHC5NgVcADbFBQOoKyIwbq3hNVmdqedFLIVYCKr9DnHGPO2eFd0gVQDsw
DF+LTUR4y7YPFxuTqaLRlaXrQH6h/9zdq9DpA7glmIWN1jWcZsu9fw/5+eUJ1E0r
gr8cy2VNGuQE
=CPcI
-----END PGP SIGNATURE-----