-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Jun 2023 15:46:28 +0200 Source: coq-relation-algebra Architecture: source Version: 1.7.9-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-relation-algebra (1.7.9-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. Checksums-Sha1: 8e89b412f7845fed6d46023dc31804536a4fb9a8 2234 coq-relation-algebra_1.7.9-1.dsc bde84cbe3434e3c46dd454536c7752ae2ddc0075 196660 coq-relation-algebra_1.7.9.orig.tar.gz 574c4e8f872c0cc6347acf45b697c834930b3c03 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz e99c6a4c2597b9179545d7303c16a7868568e712 7548 coq-relation-algebra_1.7.9-1_source.buildinfo Checksums-Sha256: 89c208b662d60634f692cb7b0bf199381e7a240aaa357788514b1c644f0bf264 2234 coq-relation-algebra_1.7.9-1.dsc 5bafbf7083c0723514230c6c787e6a4545f9b45d1053e7ce4c0f177899d87625 196660 coq-relation-algebra_1.7.9.orig.tar.gz 3baad615259316a6b8ad11d9b21a0a50e83f1c238c68401abb6fbc244bdaf4a2 1896 coq-relation-algebra_1.7.9-1.debian.tar.xz e91c5bbae45e07c68543aebfb356496cdb5928578e5c31344be09280afd7419b 7548 coq-relation-algebra_1.7.9-1_source.buildinfo Files: b015b9034f1577c452d91c9246bd8220 2234 ocaml optional coq-relation-algebra_1.7.9-1.dsc 7b402eae531a30924964b690e83f5644 196660 ocaml optional coq-relation-algebra_1.7.9.orig.tar.gz 58397a4385f800f9fda2b7e056d9e4db 1896 ocaml optional coq-relation-algebra_1.7.9-1.debian.tar.xz a21fdc18aade49ab9391b82c3e8d09fa 7548 ocaml optional coq-relation-algebra_1.7.9-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxLkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRpq8P/iCvIQaAdCsaHrDyocCVcj4HTEt9yWRn O9tuUr7Gz2Q+eNkhQQCvR0/bZkuNoujh1qjaZcDFe8/DAZvdxpEPuX+zK0Ha1ip7 M01R5nek92iftXse5/s0MvTL+mr/rI6jaHNJsu6m7Iny6OZdjpsiErhth+FLq7jj P3OP47tNHSFhkmoSBBErR60PpiRXbr8Xi/xZp+bVwO3Me5DtnHnG09fSXq1P8seW xzmmq2jfL3kWAUgEDlmcGSUqQmK/Cj2W1Xj84m2Cs0qt5vEtDUngbwvxRpD8K/yC LbIkk+udeeP4jorPiiKt3QuPKVprV3m4rxxp3GfIwQK4G8/wfoUoG/n0GiDfQBDd OaAGzVUMKtut2Qe/MSApFooZ20bVSnbvCReTnh3tv6+xMLLZay4sCNrFx1M/wikk HLK/1e2bq7EknYjKaCw6lqFetSz3iFJtN+NhfaSSHSN7ddTjZBRjWZZi+8IrhucH 76VAW51pWZbUobR/w5ufbd2lk+vMpJGiT+wNcGZyJlUrk9jY2rCtgPp2JcbABHvN EEyL29hnVSxhTA614BfXVf/2h4g8IyTBJdQ2U+Mdnem1ksZIrFWMrATY2Feklh3z Ruha3eqFxV39W3jygRWSJbbTC3EVjLNmAjiwho+1LggZcUyEtZ6t2qwIRMm2A4KL mmrWRLz6jv7T =24cL -----END PGP SIGNATURE-----
