-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:55:01 +0100 Source: coq-simple-io Architecture: source Version: 1.10.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.10.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 17586ed96b7227949e5ba8b75c18ea1778f867c3 2170 coq-simple-io_1.10.0-1.dsc ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1 34396 coq-simple-io_1.10.0.orig.tar.gz d98741069e506e56bddfb6c730c1b90d7c94df87 2660 coq-simple-io_1.10.0-1.debian.tar.xz 46c5806638238f5a0612a05229e760a7d839efe0 7251 coq-simple-io_1.10.0-1_source.buildinfo Checksums-Sha256: 9202ebf06d42f24faf30e7af371b42b1cf648f5ce881601cf93de4d2f6caf4d0 2170 coq-simple-io_1.10.0-1.dsc f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz 87712add477c6b2b1e946eca27b95dfecbf8a95934ceb8061796bb51c4563a91 2660 coq-simple-io_1.10.0-1.debian.tar.xz 635a0eac80b0ae16cc8e11a7d2673a6fa8462c959ad1424c08f465da8312817d 7251 coq-simple-io_1.10.0-1_source.buildinfo Files: e05991cd02d0ebf423f76576afd1d450 2170 ocaml optional coq-simple-io_1.10.0-1.dsc 9acde8dbaf64bfd7ff9d2b0333747b79 34396 ocaml optional coq-simple-io_1.10.0.orig.tar.gz 79c4b4f647f1293781cb3ff5c4600fdb 2660 ocaml optional coq-simple-io_1.10.0-1.debian.tar.xz b982f1fdae9ced370598da93ce49766d 7251 ocaml optional coq-simple-io_1.10.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sg4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0J4QAINUM+c+nMlTsWpfpiv75tAvWOqI7Xh7 BMl1+mX29ltCTXqCcExY0T6FeRz8iR8TW7y+DpBPTON/174RF1AYZXjAqNJzkjnJ OdXqRF2991VjBsdRy9kLbKy8PU8zCeFz+XRZVj9AO5rc+jxHmlscyxhW3wfW9oVN SA50LXDORuUl6ClLOsr7Ts0UvjuTnJ2zwc9n2+7F9Kxk2Dv+i4uJJBjMIAl3Ntl6 tBd6hS33Eqoz/VoVpz/jBweYNtExFE5SF4VHLaa/MsCBjYNc4Ptjf6IR+zvclrIp 3yS0usjk3RcjTNoFRcQYBr/wrYDTHDvU1YK6Bw7MSOrylIEWquFOmlfB8FdlNlLK wQGalnepQdR/4QMp6Z1GgVLCduS6tJBu5aYz3n7vtzj+tyOL6S4jJGvmw8fTeQNd NMRHeL8W2E5JwbN1v19t0dw6jy/ioSxbbEuXD6IFt1isgUBvyqMSvVGS5cUdXjji 7a0+jcZMuo/Ah8pr0n2+62KDe9YkARMjautsPNu3XIforVZWcHnVo3ihOXmOArM5 ggSQug0ly3vqDU2Q35qDri2e/iqGLv1oYOTx5+bG3Yyw8AAk9JeytgnahV4kq925 wGYw3Oi6b0rK+jD842PHniUlARw5ynkHGbTe4zsoBJn/R5Js6oO+wGaO2P17derf fNJ/1XKpahO9 =xof5 -----END PGP SIGNATURE-----
