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