Accepted coq-relation-algebra 1.7.9-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-relation-algebra 1.7.9-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 25 Dec 2023 11:34:29 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-relation-algebra_1.7.9-2_source.changes
- Debian-source: coq-relation-algebra
- Debian-suite: unstable
- Debian-version: 1.7.9-2
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=TACBKfNWOi/9+hZS632DNEjhrUW+hngSzGPx4O2vYnA=; b=fj+w2Scm56aC9IA/DQQf9Twdnd kENjIIg9uKSxSRKrik4Dz5hnZEiWzNr11ANefwSa/5DmirRat90Mg0bfdLacdT7MulDn9jK6+56Pz lfVC+o8zFveIH0FLTbZGOf1vwOZltH8kIrdXAFg8Qo090ao+gKmwmvp3OhL115jAtydcbou2Vtu22 c2KdRbKlrupUq7EsQjwm2dv++S9JNW7eRb4v5z/GnViDv6lLEzjVhlIh7iW56TI9klENPy1RJb5KG n6KyA2sF5q8yuN8YVuwsMbfLP1IO66OOynWMOQVTjeUYr8LCl8FJkaZvMUscY6ywGkDicmVhHAFwS X8T3WouA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rHjE5-00EvI3-30@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:22:18 +0100
Source: coq-relation-algebra
Architecture: source
Version: 1.7.9-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044907
Changes:
coq-relation-algebra (1.7.9-2) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044907).
* Add a patch for Coq 8.18 compatibility.
Checksums-Sha1:
0b5274b7d3b574d4712326c94005673755665d40 2244 coq-relation-algebra_1.7.9-2.dsc
6102023b65f0d1166a413e30d8dfdbb31750fcb6 2300 coq-relation-algebra_1.7.9-2.debian.tar.xz
0e2121c80d4968a537fe13f711d7c9c540495e64 8508 coq-relation-algebra_1.7.9-2_source.buildinfo
Checksums-Sha256:
3b827168e5ef546eb8b89be5792705cbbd09e61af5e2d5d67335b027697c8fbd 2244 coq-relation-algebra_1.7.9-2.dsc
27fb3f870aeed59d07f60f163486be578844f87bc67315e384fa2fb41f0cc175 2300 coq-relation-algebra_1.7.9-2.debian.tar.xz
69b840469c4ed9552b52914e926cc75ad05be46b96a78eed4ce27a0d75e392af 8508 coq-relation-algebra_1.7.9-2_source.buildinfo
Files:
67488c438c151f830a8ea0aa6e594994 2244 ocaml optional coq-relation-algebra_1.7.9-2.dsc
4a8d05361d08193a054dcebfa91d45a9 2300 ocaml optional coq-relation-algebra_1.7.9-2.debian.tar.xz
bd58b1f285f753297e55adafff03bfdf 8508 ocaml optional coq-relation-algebra_1.7.9-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFY3sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaX4P/jSc7hke5sQ5/HKz/LDuM1DT78f8Dy7m
06m4JXEYyuGPnlzr+vc2qTtMdwZXeizQiJ2d/CK9zdlUW5LnNu8Sg02bFyf8fOCy
zQsNu3P2MFx/8+HQrGu3RA7FwKRfjqn5Vxy17V+/0DZtF4qG02jqQ44KkUt2H5J3
ybGtFdw2RcFy3I1kFEA8Nt8V1WC5o/G7eDoNN8oHFNAwjMEam2iO6GIikRP7EsDK
+H7DleJ6t3Ujf+29txk81Xu6ogKx+cCXhDfj01OPbT03LgT0MLOQ7kV4pUcGf1GU
LCPMdxh9mIbSpwIVUWwdF9bxTlxAgl3UVHOWquM+8NduOPjtMKN3m3J9Vl0VYjtf
AATgWC9Bx7mZPkzGRq59/uWxSmXtjgAJ8YrCxVi94j8XjHoR9Nkttga78DD0Kfza
v+eM6Hww6FVczhievDWj9C4g4NCe+kk9rO/cTqj40ZEPQ1vHERLyMPOkTrPlJx4u
G+aTE0f5ZW5Hwuv9noHarJ9hclXIcYKX5ylWQWcJgdK7MBeCLWGBCSLkB+Vwh/up
qVXepTviXnGivUE7eQ9g5y0iWPvnepA8dRKPw+HXlm+RIZrCzW2tZi9LmNUOjH9m
W+Fq4/xLfVk92dU6rY0i6CsBKzob/kk6NggaNNXM4yIsHuO3tc7tfUDmxCM2MA07
gm2DD+/9yKZC
=RGqA
-----END PGP SIGNATURE-----