-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 16:58:02 +0100 Source: coq-gappa Architecture: source Version: 1.5.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044944 Changes: coq-gappa (1.5.4-1) unstable; urgency=medium . * Fix d/rules clean target (Closes: #1044944). * New upstream release. Checksums-Sha1: 2a3ef4f708a794beaa0210fbd930ac758e966891 2073 coq-gappa_1.5.4-1.dsc 236e88f09e3ad0c3c423416cafa8b286f3679e2e 73571 coq-gappa_1.5.4.orig.tar.bz2 d4e1a5f69b1d24c81dabd3406f5e8cb48b1544bc 2196 coq-gappa_1.5.4-1.debian.tar.xz f210d372374997319471424354dc2540744edd22 7975 coq-gappa_1.5.4-1_source.buildinfo Checksums-Sha256: 91389525e78177c15ba00e36d14cf7148dd28eea858eeaac8e87717028d916a4 2073 coq-gappa_1.5.4-1.dsc 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f 73571 coq-gappa_1.5.4.orig.tar.bz2 bcdb899eb3a8b80d6155fbb41b69f09671a3e3d7071876c705af6f4aa93e48c3 2196 coq-gappa_1.5.4-1.debian.tar.xz 1551ff8fdce7a9b1d7e351fc2acb67b84cf79be6d5d381d846a5b99b85fb63bb 7975 coq-gappa_1.5.4-1_source.buildinfo Files: 880a1585cff2a2ffb80575b077f5189d 2073 math optional coq-gappa_1.5.4-1.dsc a4dd81d9c28e0382d09a3417b4c93d08 73571 math optional coq-gappa_1.5.4.orig.tar.bz2 e9b1cee569989f47a55e52118bb6f422 2196 math optional coq-gappa_1.5.4-1.debian.tar.xz 9347c988034b7b69492a93a706104e95 7975 math optional coq-gappa_1.5.4-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYJwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReSMQAIrbaGfhTeVnNtUpXFAKorzaNsaugSYy Wj6r7EiRkeVK7zuTVUNJ83DtiAtTLS851qX5mgmz+Tvf7tihlpR01NJ8Fb4XYujE MYUcSnY5H3btXYt3nc/9Zis6s7sLl+IBckXDddYHaqun2QTVOTNUGMj7P69LeIB1 1x9pL1kqIpA1bI7hY92UWhKAr+Nc3JmIAeSt7AsI4zE1qEtyB/Ow4NXD/dfU+wMd Qdgl8RXZdanVTRuiZrfUkbIcVt0ZPX1ONxa4+3R7vVbRZhzrMncZg5eErPrSM0sS i+GwiHNNUV8KDSqOyEkCNPXPU0KStMx0HXfmYbMohMaIfTIM0yOFdC3xgcpODopW vdUyHTDwbz3xbYjFyAH6NaImMLhxLwF28/0gVyalXQvXZTUyT/8UrSJ+XZPFmqLn 9QEWyJoNwJ2zGBpKz8SBb/DPsSP0H+TfCW+u+IJmbhhwCD+y7RWdU+JwgnldjNZJ jGh3SUXZCmUfGmlRFdOndxcg1JypPpTdPPQkLDYuyMYg5atwR4Y/Kz1XbSKlSdnu QgF5fAFALQbib4+iaB2BTEfM45omQqgyD/DwSY8qOva8XNHqbl8r7clM6BSgJKVM PXBFlwuEcgRA1oT8EiPRSvD/QwdQRI08xFBieD9X/RmPb5OxLmLhYU2D8BaVj4BQ YK0wW8H7YmPp =nYXS -----END PGP SIGNATURE-----
