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