Accepted coq-record-update 0.3.1-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-record-update 0.3.1-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 16:00:10 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=oLpqWEsOW74oASbE2seGlnYvynrDZWmkhrHoi7An2Jc=; b=ZqDHJfrbi7IUnZIKtrnP0Z679t cxg3kFCv0+YgvA8kCQOZd6dU51DaH66oCJxuSWfs+qy2OlQVT+MIlaYWCvTTHgxzvbSQheIWeLWyI mpKktKAsbmyosC0wbyC6pZ5Kygh3a0KFdhKtIGv7m0L8uqnC8JiBrCy7Bx2RP3D908CSpep+O9ivN A9DMOEGMExUELyMS30qQ+unpFxLWoYLE3namTdpgP/zvZ1E0NUW4mPljnd2xY4Tg6Pg62FVAxGhQh DZHIYUwTS54Qi+dnxOXVbirtaWfFTOxWKgm1wK6ZxYcBImxWL3TIvFQZXck09BrcTzp2oZsJSjgC6 w0DLrtjg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDTAI-000BEz-MD@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 17 Jul 2022 00:44:42 +0200
Source: coq-record-update
Binary: libcoq-record-update
Architecture: source amd64
Version: 0.3.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-record-update - automatic record fields updaters for Coq
Closes: 1015165
Changes:
coq-record-update (0.3.1-1) unstable; urgency=medium
.
* Initial release. (Closes: #1015165)
Checksums-Sha1:
d82f76dcc2b9c76fbe104c4499e8337503fd57e6 2143 coq-record-update_0.3.1-1.dsc
9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4 13484 coq-record-update_0.3.1.orig.tar.gz
f7dcdee5d3e1626c2024af02eb854776c70430ef 1820 coq-record-update_0.3.1-1.debian.tar.xz
dd384faea9011e1c5d0544233ed892ffcc344801 7156 coq-record-update_0.3.1-1_amd64.buildinfo
a3d9466f61942ae88ac06976b31b210d1d332a99 14288 libcoq-record-update_0.3.1-1_amd64.deb
Checksums-Sha256:
8f26dcacaface962f2877c8fdc70a1b8b4f9bca6a8e0c1d44b3551c069078103 2143 coq-record-update_0.3.1-1.dsc
88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f 13484 coq-record-update_0.3.1.orig.tar.gz
d050dc54073d51d9d32bf3f0b241294cd2370f8666b96ba968fd00839d230553 1820 coq-record-update_0.3.1-1.debian.tar.xz
1ad299bc862ba4965d0d7ca4ecef68989e5f778de3842e71aec035a950907860 7156 coq-record-update_0.3.1-1_amd64.buildinfo
6a7c56e289ba25caa66e5f534f1dad6e1e9823e8fb68459cadbae89e015b94dd 14288 libcoq-record-update_0.3.1-1_amd64.deb
Files:
12e9aa957c493e16f62d1afff2367e9c 2143 ocaml optional coq-record-update_0.3.1-1.dsc
beddb631abb92a10c87d80799ca66e2f 13484 ocaml optional coq-record-update_0.3.1.orig.tar.gz
4926da80cab98430a821de8e0e54f473 1820 ocaml optional coq-record-update_0.3.1-1.debian.tar.xz
83f83a436c1d95c382051c3efa06f44f 7156 ocaml optional coq-record-update_0.3.1-1_amd64.buildinfo
e45f86a8f22f4ebf92551bf2c5e7edac 14288 ocaml optional libcoq-record-update_0.3.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLTP9ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxUkP/1+XNG4xwJxxBZ7Ztdyn0Fo0prUt0MQD
wIQBpH/hG/vtSMbV7M1eG7fpVQ4R9hkYG6nhN/aRpWKf7ohWS06tEKVjn3ENj0EF
0Jdtdy9+tVgYHZY/IcQEmhG67A8KKHVafs/HmneWo1EHTIOJ9iuIBpRe3la/Upoh
rCTMx5tGIXTxzn0Grwg3wcZCwafaNlmDjwHQvSWWZBMlXM2+lbwVbHxYsW5ydbde
53+6+xbgw0AjY7zBzXPgRqM0g6H1zPHVDi4xWsbpRXJ+5tb+HlyR5IqlPDe8v4IA
99wDnlfE10vHgAUxMx+elKBW8R10FhxfYU+Ehq3ZNdyfN9nP/RgpIlAyYaiR6nSW
s43w0L/V2s7mc+a56llppjMfK7tFV0mtkqegTN5MXrORHN6oANSkDjUJXJAJnvZT
b5Akf8efMxc4MhE/jt/IebDza8SinmX2jFXWKUyj785YmMDtpaZsG1eMx0lQ/Pgr
ce0/eL/W8FOJxL6X6B12VU76uYIJYlnhQbcXxRvrHbxovVFBYoyvnmZdGUl0seQm
B9vbC4zkGPzncFuzx0kjP8aOvM1J2moS7jgrA/4VUHrmWeAHqzv3t9QDkPj1FiR5
0RZT3Q6oxTRdhigrhFsHBMv49fNDHPA5zsPDIvwRaDJO2tweTvh/WWNapT6F0vAf
zi4MyOS41uES
=MMll
-----END PGP SIGNATURE-----