-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 15 Apr 2024 09:08:18 +0200 Source: coq-doc Architecture: source Version: 8.19.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-doc (8.19.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 20b2bb2ab5a8f7f4ae0c1114d4e019aa1c18ce0e 2560 coq-doc_8.19.1-1.dsc c10750900544adabc9c6b5a1cbf5e908d1ace5c2 7675945 coq-doc_8.19.1.orig.tar.gz ff60793332eaebfb6d5b97409cf8599b945e1a70 8080 coq-doc_8.19.1-1.debian.tar.xz f0cf1196a31314042a659e7570e02586486e785d 8502 coq-doc_8.19.1-1_source.buildinfo Checksums-Sha256: c816cd5a7dfa70b07ee1f1fe661223b9f885a1f9459f4449c3c061eada4360b0 2560 coq-doc_8.19.1-1.dsc 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 7675945 coq-doc_8.19.1.orig.tar.gz b6b54677eef0e3d406a2bf296f7c77b0b8b20a9e432a8f4990b3189f117c8769 8080 coq-doc_8.19.1-1.debian.tar.xz 4715ed82fceb6680de5d712cdb1f22d5dbf8b7a7fda44e5523b3b73f63c089ac 8502 coq-doc_8.19.1-1_source.buildinfo Files: 92c7cd01f78050e54a8959cd45d893fb 2560 non-free/doc optional coq-doc_8.19.1-1.dsc 13d2793fc6413aac5168822313e4864e 7675945 non-free/doc optional coq-doc_8.19.1.orig.tar.gz 5c15462a3153fdc5a1eb3e3738c4bb16 8080 non-free/doc optional coq-doc_8.19.1-1.debian.tar.xz 658ccbf4253468438992391256e14109 8502 non-free/doc optional coq-doc_8.19.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYc0qkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRlk8P/i3S62xaG+NYTgrSK9mlfcL3bZKSsRd9 plLv9XoYrE49dBVj9I4lwMkfVej3z2XzeLiw445cbNsO+H2FIVn6a6YyDIknmpD4 l8h6zksxVbIw5i+ltKlHZI4uM8rO3uGWBGOI3tGMgQt90alibew8dQwynvWQUY9S eysUfqzfDUit4OH6Cd7aVLzTDBwFsss21CItBYlLkC+08nkMwWi/bjxiUzV4QigL oA+VqmUrCzeOoj5Q/TZQX76k90xgyi+eSnsveYiy8lmCSrCztVTIhIkGIq9iQ3OU yqLEsUy8dOq9mSuV2YYaoHeA2vE5xZkIA2VWCsrcx3HOjs7we54QnOMVCtDen6Im pd2y0fdP7pp/GePraYPcDYWGYA3VIBfbIETRru+mxd0eY+KkBmrVVHI/JVCfDeY6 HxS2n7oACvq3fr/6HFuYRHUTA0d7dUIakKXGtBrkEKTPVjUcwc+qFKkRTybKWO2Q Kak5qMyjmfl36qa3xtSpAYgmLyL/LP+BX37Xb6iRijxTDn4kv2pb6IZdfI/gvxr2 LoHVbQ9bWsQqKo9KdghF3GKyeBA8Fau7lv0V0cjX0LABA+s7lFV6g7zwEOPc5vCE Hw3ofgEfSBRVec/peezz3PcntrsNalPU6j7fWFfpxtfifJg0eH1S9C+547ayInlF /eVwYjRO7SwA =MNYa -----END PGP SIGNATURE-----
Attachment:
pgphdOGCVUDu3.pgp
Description: PGP signature