Accepted coq-interval 4.6.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.6.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Dec 2022 10:19:02 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.6.1-1_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.6.1-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=tStJ/GbcYaiQTCVx9t0qI4S+2WjXi1Strb10x+04LBU=; b=dc71QaQqWM1lafbg7EGjsrGsuc bF9TxyVmf8yr4msGpEsvsqKY1GXsn7iPa/zuM9KlyNboYDDC63E5uJUEuUKr9PobqPUlWDn2F8K66 ZQIGnOqVZMOvMrJmXam5CX7P/4tG18kXOFozu1ebn5GiOt7mh1XnMA8w1vsRQQVX0MSjmwnSmP1q3 Banm0tm0PsmD0cGh0LjXoOoCNo2q0CsEuxjUNfez4TJnxkNlzec9AZBuBbEbf+EgpL/6w4tLbOshR FKDfMrKHEFbD4gJlV7IKDer8nk9YfGzfn63G+DxMnnpjrfU6j58BAuBWVRJ4pxqb3QgQ8Gqdyf9EH s4UhFdpw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1p52NK-001vw2-GA@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Dec 2022 10:47:06 +0100
Source: coq-interval
Architecture: source
Version: 4.6.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.6.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
c04f5d0bbac8113dfd52213878cf65ea099427ee 2182 coq-interval_4.6.1-1.dsc
2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
bba98d147a08c3de87f82827d410fa0e994010ce 8728 coq-interval_4.6.1-1.debian.tar.xz
03aa523bd0450ec4758038869668df6350045c86 7748 coq-interval_4.6.1-1_source.buildinfo
Checksums-Sha256:
83c5f4f4fd2849c2fd8de4089243b8d64833091ed5faedadf91341d8b88aa147 2182 coq-interval_4.6.1-1.dsc
29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
6ff45bf7e07c21f51142c605462909d94a3fd9775d1400c8a0ebd049b8327492 8728 coq-interval_4.6.1-1.debian.tar.xz
0df31607b71a655223524f935dceb99e540e0bd7ed5cf9051584428819b4c904 7748 coq-interval_4.6.1-1_source.buildinfo
Files:
4c68b148d3177496fa8ea1f47be2f1e3 2182 ocaml optional coq-interval_4.6.1-1.dsc
5d5f13150d2634408f0abde20508340f 259459 ocaml optional coq-interval_4.6.1.orig.tar.bz2
06d3a515d7d801d25935d2c8be3a1662 8728 ocaml optional coq-interval_4.6.1-1.debian.tar.xz
2a841cd4b0849fba3e50a0e661d920cf 7748 ocaml optional coq-interval_4.6.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOYSjISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfvgQAJMFctsoRCdfh564d4o5FYNZ/ZUb6iRD
Ze9unfY5SwS/Y3UOFicuztcqR7s6iOjIzU2MGpRboIvo/apgo95R1fyksT8Hxz1O
sgsHZFKUKhPX4BPKLvsXHR93bXO+9wJB8jVDivkxIBzfVsHi7WYe3BWlOw0dEHPJ
jBuQm2f6+I7knQMpDzesxyeAf1+oSi+w9vAFqMWOwS7zN6Qz+w79vknPSXBiHRlj
YAfNetZy7WXiBZnbpvG08FCaN4H69TFOS1Qg/64Y2bfANNEAQAMO1YzQJoZ+BZP9
864gOlFz7DJpPoMTMRJ6j7jC0B8Uunpu+Hs2bsaoXbXf/g6KjlqIXWURqqHDQNb9
ldWRJ4R8tLvCi9OiVYsSKPiMQEJXVPov9dEu48NXoeh1cdgVxykGn49xf2wHdyAK
GYFacOeQEsTt+FBC1B/qIdET2QqJ4FEwHA2IVrB02sIcd6ijD8L1iY6sVot84E/J
SsIitcD/LB0hG6FNlcesR5wqiRQIH6rwrwp/67z2h9FFhGGf61GkjTflO8ritFR4
Nmac2GawlN+iJuvCZTR2LunXLj7X6B8NyVVKLXxyMalF3O5b9hrW2OZmIVebEs3V
WuTbV6QhEAESvbHPpJjEtpP5T4RBJkoELgTpcTw6oaPzNPe/0RzpU17v7RIYiAbU
dvFGlBF/I8w3
=jgS+
-----END PGP SIGNATURE-----