Accepted coq-deriving 0.2.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-deriving 0.2.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 25 Dec 2023 11:34:01 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-deriving_0.2.0-1_source.changes
- Debian-source: coq-deriving
- Debian-suite: unstable
- Debian-version: 0.2.0-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=ItntQvC5nrrdtB7TBIBWOzcWIhuC1SjKQVahTQYBx7o=; b=GpLs8+2r9DuhveR4+3wR2L8Ina J2xHN3T0aOnQjZfmsvQ1PkKNQ1NDq6clzaIkCNErVQpgwYMbm+vRoFRhGFCKNzIsJw3ePDBcMi/sy HZNY7eiHBZH8tTUa0Mn0LMaryIIu/S2NJIQH8p53FZWJJ7wZTl8ZGis9gkY/knn4VmWgbl7Sy0TzT h+BY/jY3ozwAO+/tqQyNuVk3pocjzCRC1UZiRbV5PXzVJ0KbwixMOq3xs4gHLKFtVJ727A5i/ILIy DohyYYZ6R/IOh1xFmfcTn83rBfhVsoQ6/N1bDTh4T1wskCQcqxCMTIlcuhWvYS30D84Ux3aAA/CG4 5vp1YgVg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rHjDd-00EvC3-Nv@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----