Accepted coq-simple-io 1.8.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.8.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 25 Sep 2022 16:50:25 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-simple-io_1.8.0-1_source.changes
- Debian-source: coq-simple-io
- Debian-suite: unstable
- Debian-version: 1.8.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=AKWgTXS2uQmA1vV6qpbMSW8Ce3khJSmhXV4jHRG50BQ=; b=YzGJaIsA4O0uc4bhdWBD9Vqly3 aBRUBineClZL9cOmijK/FYNWZ3bLYAxSrEXXW4X/CcFZEKg6/L3MqC8KGsZnsP67rAn3KpsxZ957S Rz4bLIi8KQjGAoRwD8G1JMnuxAaIlON21JhHo0gJ6LWsgzSp4yvS6RQruxhd/D0lTPUaa+LATQkiL YSbncKkyyBCfER1u5PR1WUQDo6KliGaYYm/CKK9M6tWaKETFOmka2Fx3OCWa7gInBIdUSk9FovDCO H3zbAXC5ZaKgA7MzOfHBgwf5pZr0F8rejc1zQiHsXugFwG79hgLYKNYI1tTXA7sTno/GY8+USh7mh 3rRyt3QA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ocUpl-00AsTn-Iw@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 23 Sep 2022 14:34:51 +0200
Source: coq-simple-io
Architecture: source
Version: 1.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-simple-io (1.8.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
1c41b3dbed28c6fa918b46755ed67fdd763b8523 2146 coq-simple-io_1.8.0-1.dsc
027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
d5c935e6fc7d84f0958cfe2acccdf670280206b6 1988 coq-simple-io_1.8.0-1.debian.tar.xz
da790d0df7fa201d06007895cca0770fdd239d39 7162 coq-simple-io_1.8.0-1_source.buildinfo
Checksums-Sha256:
ea68346f0c8b45a1f418aa5b47d091389337290b333fb1339e013592fa6af910 2146 coq-simple-io_1.8.0-1.dsc
f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
0a3b835d0e5091e636afa02043930d51f8c29fd82dd22bb3cfde2213ff637f3c 1988 coq-simple-io_1.8.0-1.debian.tar.xz
83d81040d5e1b204c82cb1f52754e6d4464d6e2108f5b846412be15170f7eaeb 7162 coq-simple-io_1.8.0-1_source.buildinfo
Files:
2533875b8085471829d7bff2f1cd5a15 2146 ocaml optional coq-simple-io_1.8.0-1.dsc
73ba8ebe3e844ed62c465405b2d946f6 32939 ocaml optional coq-simple-io_1.8.0.orig.tar.gz
149abcba31c32b0123782f047701edd2 1988 ocaml optional coq-simple-io_1.8.0-1.debian.tar.xz
47378005ecc1ead1b3f664f4325dd222 7162 ocaml optional coq-simple-io_1.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtqBMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgYcP/2N6+lo144Ka/LSC4mlXaMTASzQs7qW0
Le42wpDS4jnZyjcSTAZIS23GC7a1l9GLUej15eN4GUFRQmv+JG8mYTa6x/0tWhg3
UWnoijzGuTq19Skiuc0GXhIAaKtMQKzj1+I4Rce2M6tj0iaEZamPCrmxDokAanS2
TcCp7YkmH5Gnra33cI3V/ct4e2eHEBj0k3jtEy7atLc9Mhfrd0rsaibui4jJoBPn
kbzyX+0k1tiP9qmpmosnfcP0fS4L2gsZjFTyDwgfIHVhyKiuDaphK+f1vd8aPZ3J
1LyTFWAD2CYoUZrnFmGFANtV7dFmehJaikxsqFWz65Pcfao7Bn8mbaYpg/WST+EE
vdMfItP0YoFOrQifP4i7DZy9jJaMv/ECsE+b2/fmAukSQYtcG4Ivt/Cfgg1Tfc6W
phgx6imrMkIiBT5ravcIztQlhNQJdV6VdYnDQ7yWpOLPPSRmMi2mmYyhuHc6qEhR
2om+Zec58SOfua5D5EABZRKCjRn4PaYmZ6isIoRliyDvYzR6TbIEMwi4CGOXchWy
DUHo7DnbBjN+vmRV76ekJUd52UvNjQctnxqzpFE8HCkOEa1QdIaAX7HgQS6r3Tzu
EpPlxjJ2edv9Sp1lZmwM7B3eMJUL35lR8O2+p//KklW57j3MGuIq9VTPYJIBEDWq
CBCCrvAG6LyK
=mEkA
-----END PGP SIGNATURE-----