-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 22 Dec 2023 11:19:57 +0100 Source: coq-deriving Architecture: source Version: 0.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044870 Changes: coq-deriving (0.2.0-1) unstable; urgency=medium . * Fix d/rules clean target (Closes: #1044870). * New upstream release. Checksums-Sha1: 89908ecf3618d761096e8ba11a50d6d8bb23ff00 2113 coq-deriving_0.2.0-1.dsc d74607678bef43a0f8a85038038a099415997827 31391 coq-deriving_0.2.0.orig.tar.gz d473419a7b554f1fc6ef404c5b1bc5f7fa4b0efe 2104 coq-deriving_0.2.0-1.debian.tar.xz ed0b8483184048475b09ddd85616ed25948db0dc 8442 coq-deriving_0.2.0-1_source.buildinfo Checksums-Sha256: e553a0fda2d19d193353a1abe41d6c7a2da43274680bfd3816685cb14441049d 2113 coq-deriving_0.2.0-1.dsc b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8 31391 coq-deriving_0.2.0.orig.tar.gz 43c22289e5e6ae9be044e939b7ccc8c3fa46c7fbb3c84346bf155d88d73678a1 2104 coq-deriving_0.2.0-1.debian.tar.xz 45bef9fbf0058984f148540a877a08d475de79bf2f6c4e1c8f8ae889c53e79f6 8442 coq-deriving_0.2.0-1_source.buildinfo Files: e5a460cff64b7298529bfca4c9be41d3 2113 ocaml optional coq-deriving_0.2.0-1.dsc 61a2c3d7331ecc19a87b3c596b0f12be 31391 ocaml optional coq-deriving_0.2.0.orig.tar.gz 3525017039aa5cee5c16c3087bdb0143 2104 ocaml optional coq-deriving_0.2.0-1.debian.tar.xz 166bd8672f4cbe2f83080c50add7d996 8442 ocaml optional coq-deriving_0.2.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFYukSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRa9QP/itmeoWk9a5gsm41E7C79NJwLEsiNzbJ /wbkQICCH4LCJFaFxR4CoIxr2V6EM0xmgvRz/RxbJGiMoZfMrodQifhxUvqLl+yb mfXXyA7YaMqvNWD2VtcKSEpu89U+aAP1+5KAPdZkT+RBUk/lS7hh2m3USNfeZyij LW4eZBOQNnqwv7SrLIr8et68iiU6D4FZ9kzgBLTP7n5if0BZx16G+a37CdWHSmtM CisHtKKBRGxO88X/njxZMZXr6Z391vSIJ9LFuXipUaCuIaqgz32GHlFN+4ikzpsp 6zd2Cm1X+GeJVVB/pewMS4SWITYUQ0zFe3hfdZqdY6luFwBappnKJVhyIcLviMTb pzLq+MgiG509PvxZnmQ8Fr+StwCO91hmwGintlgHvrIT6krEhQDQRt+2kzEd3dnU 6cuBHvOAZfXggtPOnsw4Ct/Db/sp178kZgITh3wyoUwrvYlrE8uRnu73gNCY1Ndc ucPouM3fcq/uCOrTIBm+EiaOiE4kEAM838DNlty2biUI9x45UEldeej3UFq17eld OFPCZUuG5h53+Wm0P5Bqq+nnn/XYZDR9je+T0C3Aavmq5a83QB5xcdKkbAUbo/2D 1rvB//LOYVc0eBHSUP4W4rtWF8akJY63SxsHQbYprfjXiqOCg7S7n1zZPIk1xa6E GrQozSKhHAnI =mb7S -----END PGP SIGNATURE-----