-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2024 09:25:19 +0200 Source: coq-simple-io Architecture: source Version: 1.9.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.9.0-1) unstable; urgency=medium . * Package new upstream. Checksums-Sha1: 82203c0546229d26561859271e9a3cca9b857bc0 2163 coq-simple-io_1.9.0-1.dsc bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz 462c0e6160b8bc80221b9c27ab762718c8fd0ba1 2568 coq-simple-io_1.9.0-1.debian.tar.xz d5c19a98c82aff17d471765bfdebe07a6fa22652 8180 coq-simple-io_1.9.0-1_source.buildinfo Checksums-Sha256: da25ffc318eb65c58d9c313bda9cc6ef3749b40bfed7a5081b7e7569f5ef2e79 2163 coq-simple-io_1.9.0-1.dsc 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz fe85a801a7a8c9faaec128ccc670408e05e3bc2e11ecfb3cc25374c7077b043f 2568 coq-simple-io_1.9.0-1.debian.tar.xz 585b647450c990a13687c96b95c7066029e7b989d0f70136d59911841880e51d 8180 coq-simple-io_1.9.0-1_source.buildinfo Files: 7f295e57faa33aa96a5fcfc40e0fe9df 2163 ocaml optional coq-simple-io_1.9.0-1.dsc e1bdd50e4d848eaccf2ed0f2bb146e23 34147 ocaml optional coq-simple-io_1.9.0.orig.tar.gz 522fddd223d55d86029b4c92197ac333 2568 ocaml optional coq-simple-io_1.9.0-1.debian.tar.xz b33d94e6c620627dcabac917f65d49be 8180 ocaml optional coq-simple-io_1.9.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWPx8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJgAP/RKfSON4R3kvuXHeUJWjXO7XZQ4x0Pq7 gbc8VmFUETqGFwdIIZgwPOB44r9+Q2E5kByzT1FJYeeFfQQvw4y8UZU72u2hE/Vi 9ZqtCkSDG/oLLVoe6YM9hXbjd4hgCmFYLkL83fPUKvCTd4s5ClN22mdwatLpaSEU oTe5H5iKTSDXzQnMdWZGp+TBbzkxFp131Afa+DbLUe3c3IhjNKHytUHhjs8b6aX0 0z29d1QYEJvMNoUhl6zmDbcqP7mKyTThRD/cFtSmfOsWndUU1fyXXb3HAgDY+Au7 z94hEcHOWxy29XllPUe0bLY9Ey0fMjCuPOaOYPQIu/wLrIy56ozOUdEKwms/38fb DUZutnwV9TFiYp2G+Z9CrZ//KN4xQwiOI1+aoEzjiljdbFds0EokGZLRnzUJuX/f tXHCVnm4BeYpzxn9/wYadufdjm46r382UhHZU714qxhdQo/RboFDQCFKv/XGHwR3 W3u8RQluYxgbidG2NfdwPC6aGTKBU1RGIfdKUBGT9/1Wu5doTmx+ye7QY3XtVYKx zbvG+sXBrwd1hp9RXb2Ri/qmWyA0JSYqkYjiSPzLs0D6vEjTf6N+g2edIXmJqBfE X7RmuXxk1JNa2k9I3qPYoDBoajaVx+8nLMCg5YSpyVgQcQffLNDjA3hiip7rylcV /p26VneJoe+s =5U6O -----END PGP SIGNATURE-----
Attachment:
pgpZ3JYseFd5r.pgp
Description: PGP signature