Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)