Accepted coq 8.15.0+dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 17 Jan 2022 12:26:54 +0100
Source: coq
Architecture: source
Version: 8.15.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1003586
Changes:
coq (8.15.0+dfsg-1) unstable; urgency=medium
.
* New upstream release. (Closes: #1003586)
* Refresh patches.
* Refresh lintian overrides.
Checksums-Sha1:
74a189e13b6ef88a43fbda29312d3a5e39851a8b 2607 coq_8.15.0+dfsg-1.dsc
48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
68f0990cbf957670f0cf82877dbfb20ae8b2f78e 39660 coq_8.15.0+dfsg-1.debian.tar.xz
c7d66cfbc6c77a532421cf743d38ee68ff38f31e 15549 coq_8.15.0+dfsg-1_source.buildinfo
Checksums-Sha256:
4251cfcf1ad5182c3aa912b9fab7aa97cf7aca2bb9b994425f71c4a181814ff2 2607 coq_8.15.0+dfsg-1.dsc
dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
9f1d0052d4973a1beddf9d2bb2ff5ff4e176d67a451f41ae4e6908962df57e20 39660 coq_8.15.0+dfsg-1.debian.tar.xz
ecad907bb14acc2e7a1a1f9d792796712c0ce7b9ad395fd2d14917fa675c152a 15549 coq_8.15.0+dfsg-1_source.buildinfo
Files:
e264fcdb39e47d8d4bf5a3cd71ceedc7 2607 math optional coq_8.15.0+dfsg-1.dsc
f6d50c68f8defba269e5bb26417c5a25 4669948 math optional coq_8.15.0+dfsg.orig.tar.xz
2fccf55fb354ffc7cfb866935b637d65 39660 math optional coq_8.15.0+dfsg-1.debian.tar.xz
abd5c442bb915588530c90fb567fd76b 15549 math optional coq_8.15.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgZwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUYwQAJZ8MJIVH9c7Q5qfsoQbuNyl5icuRAsX
zWfUyLCDg+wmCx9CPjMIakvca3uONyQ745Gy13nXGCxBC63CdhAbCr0Ac0diGKDq
yKY00jbGiptllFzBUjLX4ryKNjYhbD5yVVGpCLwryZscK95LA5L9lc+VM5+U1Zed
uk0ews/c2K09jLIp9nU/Q74rxdfCdo0oP4e73ZSoaZKfFBiNro/Apk+VJ2IVtZn7
siw5F7P7FeOUM5b/sbtnvsv1QEYcJi9v8pSVZdGzKeOtXTqB0zeFhmSyCDga4tp7
sgPpOhbx5Iny7/T1VUsnJlesN6mYZBiNKKQH38UPaWmzpolbW/9YjJyuggppXj2j
B8rDVvuKu4gkUkWsqc86VIzOxA85k9uwgZtneAaODOFYK7yZ+Oiad4Rk4jl8bWt8
Vw3yEu2gGxPfbolb3ZpTFBQ1O1EM+QYz/Q4B9CgAr+l/MBfngmXmNcosjIMZbrj9
2TPGM124Dlasx/wj61tblNwPT6nepPhNwROMkm+DvFfDPzYAul75MPbP+fOdFy6W
b/MJPShJ3yShK3eQg0DQklvJgPp603cXHf5FvfhMk5863QWHQlNGMvNrNDyquwRS
D6HfELNWvroJB18iufVWIZNDJH3GWBklkyhww28vDPHUoaVIinkFFwwfta8LPDJn
doa13IG/N+Dm
=acz5
-----END PGP SIGNATURE-----