Accepted coq-iris 4.0.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 4.0.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:05:33 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-iris_4.0.0-4_source.changes
- Debian-source: coq-iris
- Debian-suite: unstable
- Debian-version: 4.0.0-4
- 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=vnINWnBfJJ1FKxchV65mG1yFagdlo8YCMe2sv56DZlc=; b=LWJDcvMgl+2F9wXrVJlwhvWYaV A2Rl2WopOod3QbAmXji25vP1yaqVcrSb2PG2TzM/m+vOvt4ArAmv6VlSx4sVGsKRqkNm7Dgrs2eVS v4xnPwL2tdEzIh/DbmIXqxBjJabJJXDsfKP1mhETVPBs2oWBkMpol6vdSlijFqGMqoNEVkJ72+kIl lW2S57OeABr8rcywRrwxDKj7eWrZIFHPpeyqu767Zm2K3/JWQuEC0JjiuJSaCIaKi+Dbev1P1FD5R J6M0DdeHIzgD9V+LwVx83Fbdd2EyMYEnjbMYnPkKrfss/0p8woc+mh7s5NJ5Kls3fd647+eWgLfRK vu2gd//Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8x9p-001jrk-TL@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:07:39 +0200
Source: coq-iris
Architecture: source
Version: 4.0.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-iris (4.0.0-4) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
dd8ce528c5b4530db5f58dbe9e602dfabac0afe3 2152 coq-iris_4.0.0-4.dsc
eb934d26fe056eb732012cd34a568b96feb18284 12004 coq-iris_4.0.0-4.debian.tar.xz
f7209d0987feb939a076bea926943974ed10d91c 13880 coq-iris_4.0.0-4_source.buildinfo
Checksums-Sha256:
9cd5cf3599ece3bcc28c440c4674bdbca858dae821944c5046ad033526e5d126 2152 coq-iris_4.0.0-4.dsc
567980964464781f364bdc76e53751b95618f2b6f513e69b5b843a9d29429e41 12004 coq-iris_4.0.0-4.debian.tar.xz
25b6e030571ccd3c111f582f98ad5968bcf8c01ba889c58673c66b41f804814d 13880 coq-iris_4.0.0-4_source.buildinfo
Files:
b422187c8c71dcd9e415c907d6f840e2 2152 ocaml optional coq-iris_4.0.0-4.dsc
53838352c2e5c49c877ff19e54fc7983 12004 ocaml optional coq-iris_4.0.0-4.debian.tar.xz
d90473f6d2a0c16f4769b2aa785f5544 13880 ocaml optional coq-iris_4.0.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+aMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGOwQAJlmvO9/0uxQoZ6BKerHBB84uqY9/UYX
13B3pDT8EYObGdNKJSvMEh1OgzDIqqsdQRaaQrvOVkpcdRgf5UDFRAnJr5FFaT9c
IwF5sjXrMCsplyKF5ODld2ehAONmXdbXUYreveWJ/u365v9fxzKPmi4jT5BM62Dn
IoImOOtEqitVF11fQU+3oJfRbbNW6/3dHNtuopHMuJ4xm44NDNZoE1cgU4TqTEqW
qvOaAomOp5h1IYcWTKagI7dWUOR63XHtWx8vzzh+923zH65CIeqXWrLkQWUK2vt3
bc/yTr57AdbTXmAaEPrhVz0epI8p3bfOq3CVV5+A4ltYkCKjEyX0q74vsuz55NIM
ZMDw3ez//IyfaQ7ILq8H7DIAwH+K25zQ25CEse+BFZDlmWwyNwiSZc+LXYVbDIs1
kkuke9MnOMQSoEoxF8T3c0SZgfUsHvW17f2cnCDQvJrA6fTN0NG2RF51Cp4r4gCu
QirEJDHbRL4T68iK2ksxj1Uc6k14scRzF+QV2RlDapedEupOh2txXF9fF+Srwu3i
6uVio/Wh3rPTtk5frnfN3jMZXTxvMUYbt4k23HMgI5ZUvf7xjsJlK7kyeH/ec6zd
Z4cG2GB2mbzozMKKttiRxMw42AemlaI4KZ5FEroFXX0Z3JE3AaTEjWm4oKenyMoC
K11oRsS5xXPa
=CW5f
-----END PGP SIGNATURE-----