-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:58:15 +0100 Source: coq-equations Architecture: source Version: 1.3-8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-equations (1.3-8.19-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: e1c9e0cce527486b8a4e4a44d4e317c76b12e6e4 2166 coq-equations_1.3-8.19-1.dsc 38fdf70af0bceefbb4d14eae0cb037b124bb3ba8 1102843 coq-equations_1.3-8.19.orig.tar.gz 73fa3875d5c59f128a653b5ac2e84b435f60c3fa 2668 coq-equations_1.3-8.19-1.debian.tar.xz fefd43fcd68f537d2a72fa0d33355e3ac2d960d3 8431 coq-equations_1.3-8.19-1_source.buildinfo Checksums-Sha256: c77b5d56399a7b462e704cd3ff82a06c1c754bb51620a1f09084e75999160a55 2166 coq-equations_1.3-8.19-1.dsc 4d4d1aa0488dd111cb7f520deec6c0f9e41622b884634ad96aee554f899e4198 1102843 coq-equations_1.3-8.19.orig.tar.gz b0999e49d5d751556d8b4610649380db3ba3298db76355b4968d6d698c001f25 2668 coq-equations_1.3-8.19-1.debian.tar.xz e341a75cd27d61027713fe9f2d76e326ef1a2bb108567f19e70f202d512d233d 8431 coq-equations_1.3-8.19-1_source.buildinfo Files: 6ff58c5d18c03204f59570bac41ff873 2166 ocaml optional coq-equations_1.3-8.19-1.dsc a83b2e75a3440581de8eba8f0c0ecea2 1102843 ocaml optional coq-equations_1.3-8.19.orig.tar.gz 3b2388730dbc97d4624206073738bbb5 2668 ocaml optional coq-equations_1.3-8.19-1.debian.tar.xz 63f71f8633284a908ed7eeb336c9f58b 8431 ocaml optional coq-equations_1.3-8.19-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH08kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVXUQAIKoBWMHNDT+jxXpfxUyhDZZ0Hg9CDL3 NmIyaM1xQohvAQw/oMMLnUh7Td+P2ZlMmA+kqtRjlHEj+SAlcZewkKVSBH5mX2ji PDUd1qz+P+Rz+/kVels37TonPi6lNRGKelgmLmm3m3SaB7wiwyGoOdVh61d+Ad2x 7+dQqG6++l0xfj2/q1tRVKQbfR4bsgOf63EAyyuuVdhKAy/36nN+lqXmQExYSCkj pZ76VFHmAGnHPEhY3sve5wIpR6U4Wz7vhGLZlfVXjarLaRLC/z8wyWIBnOQT17b7 oBF8QB+e/BoiznEIXH3ajVs8bpgJeL9xmGbsCMbf/mtKjSFobMJqDnOn5tXK5IV0 cQdulKzmMV6zcPurot4VzahehAmzQmgv3AihPcD1IqdXHaa7CeDGRXWATlj5148Q 6RaI2r5bfcT3alSulC5ZPHaWLPkOdt/Gh9vXRk5HiqKgXdWCt4dp3KoQumxqHyl7 aS6e9EqmJ6KSpxVxJ24Xsuq8YqX8oKgfOIsZIESx8fKhZbQ+eGnWNxUE8dPkWkdp mdSZ9KsQm5kcpjQz9PmpSyu+HEToBbIlwxBvKx192oQTuVi37kUNOuCk1YkYHHMB 3iTTT3dP1FrBUmYfgFFeA5Y/clxVPnHk1gvDQrwVGH9MAcL/+crcQWtku5NNGRtn fCIgWrZ4lZ4n =SUFd -----END PGP SIGNATURE-----
