Accepted coq-record-update 0.3.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-record-update 0.3.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:35 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-record-update_0.3.2-1_source.changes
- Debian-source: coq-record-update
- Debian-suite: unstable
- Debian-version: 0.3.2-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=Qyi558IMvPA44lO7SmMXiY36N3ZE65hrV9iR1fpF9jM=; b=qli4U3gO8uWop3UQYcaqGeieRl muNUIDAvWCg0hwsVGaJj1Gy0rFt/TI9SV9cZj3Kn671v6LwInAXWX0VpglioE5fd/KX9xYpUneoFu QkxGodCRwrDjMhAumoVQv+KPe+Q8TCmL3rPII6LNpzr6axz/Xk+FnpEkz8u8d8NPseNTH83tQEVXx 36IW1FnCtG/c10GoVYQxgb85bXRhgnBqieuFkX4nP4eFP0E6e28YmYk1Yqv16VYwYFps0m/t2F8MS YiQdGZ725QGEyF0WIzROtKYmrIoSbiCccKZ22Os1X6CAm3qMyvQ9q6FXBgz/aTVDzzGisO279ivlO loJuzPSg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8ocV-000GEM-TR@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:32:50 +0200
Source: coq-record-update
Architecture: source
Version: 0.3.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-record-update (0.3.2-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
b0e249c0f1c31d679a8fd2ac0e0d1a79b43930b7 2148 coq-record-update_0.3.2-1.dsc
ed19c3c0bd235084af68d612fbe57c4eb05137a9 13624 coq-record-update_0.3.2.orig.tar.gz
d4e4151038018742b038c929349fac30fedf6a44 1920 coq-record-update_0.3.2-1.debian.tar.xz
23e5174669227ca7870fa598c04e6ff8cd0297c3 7363 coq-record-update_0.3.2-1_source.buildinfo
Checksums-Sha256:
de3d220a90b2ed665b169c61096130bfe82d01dc325d8c253bbd9a83550afac8 2148 coq-record-update_0.3.2-1.dsc
896b3d82ac18cbcf1078985cb9f17cbcfa453d3659949e486cb0f8bdead9016e 13624 coq-record-update_0.3.2.orig.tar.gz
fd713c3e331e31dc856740e0947fe273d1872a89f761a78ab21cd2331ee2fe11 1920 coq-record-update_0.3.2-1.debian.tar.xz
e7a02c75a3e817a16539f4573958c949e74f60f7a423e3e11e304297abc4863d 7363 coq-record-update_0.3.2-1_source.buildinfo
Files:
552d49a15a57844ffbe75aaa11195fcf 2148 ocaml optional coq-record-update_0.3.2-1.dsc
a0975afa703fbe7d16c65d0149780269 13624 ocaml optional coq-record-update_0.3.2.orig.tar.gz
b0d0140d92c5f45371411bbb3fefbca3 1920 ocaml optional coq-record-update_0.3.2-1.debian.tar.xz
35ac5f9943544733e5204e4a924e5cc4 7363 ocaml optional coq-record-update_0.3.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVsoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR75kQAJygyiYRRyHDYsOuHGRPezc+6VoDlMTZ
YdYXi/7nYbdvOgKrlFP1gDIFZsnp35jemvcRE5kHiyM3cTqD5shR2frdLNTJ5e04
GCMK3OAXjq2p66LTADeMGYewQuixf6axhx0PfD7I+SJ/fkPVrZ1gzs3IaGBt96pO
MiHjUiOcz8Bg+KIR6dR5YjVNO2ltZSvJwKgP+unIG7orSn0+GU+snqLIScFoM1FN
lbdfHXy3EbeECsKzrlj2b7CZRWsdWzSTTDcCkxhSTsEkqlgUOwU1u0CfA8LNBf6t
Q2HselKJgxDPr39tWDqsZ6L/n7SgIgjvl21YwOh4XJrC2kBHqw9OsmaVkbgLgCO7
XmzJVRzm8BniqneimssB0uNikCtvvtdNsVPRbxVI1LixOg+KkMyJWPnqCjacmq/p
izFT6VRwfcKbqzJBbVPAFwuDj/c5dDMwczT+KIp97lolU69S4H1GxS3hRPbvxHF8
pNuZWk+i6bnxfZhgVW7nAzQhtlikEBU/qDr00JvCHQYz17TwyX6lKY7B91vfJY2c
NNeM3AGq3Tsdd17KVSSPRnKGXgMajuWHz7ynrT6glo/TkJ0u3mbEftUdwRJWtXOI
IHJhGW8Ihp0x0LhXDg0umJHCQI8RM87JH1vID7TCnfJhTUegxr5C1pG2+4laBb16
0aQE8VMLelyF
=xwcK
-----END PGP SIGNATURE-----