-----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-----
