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