Back to coq PTS page

Accepted coq 8.15.2+dfsg-1 (source) into unstable



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