[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-deriving_0.2.0-1_source.changes ACCEPTED into unstable



Thank you for your contribution to Debian.



Accepted:

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


Reply to: