-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:48:49 +0100 Source: coq-stdpp Architecture: source Version: 1.11.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-stdpp (1.11.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 9f06e2a95bacebb48bfba3dcf21fb67be315695a 2076 coq-stdpp_1.11.0-1.dsc 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2 60b8c9c085e1a2513efc0afe2c59ef5ef8f5d7c4 2772 coq-stdpp_1.11.0-1.debian.tar.xz d8222fe795f6cbefc1f4e208894becf9d0d4d8cf 7128 coq-stdpp_1.11.0-1_source.buildinfo Checksums-Sha256: 7f5b74c6b3b65b92ef3a1bfbf3d6ce0752505161ccc37413d6f69d3d3f6633ef 2076 coq-stdpp_1.11.0-1.dsc 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2 f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de 2772 coq-stdpp_1.11.0-1.debian.tar.xz df690fe615fa14ba9aa11c5bab965a98c23a4a60a180fb318cfe7d2860b04455 7128 coq-stdpp_1.11.0-1_source.buildinfo Files: ecc33813566cedaa4f3d5d5a2e0f7f0a 2076 ocaml optional coq-stdpp_1.11.0-1.dsc 4cfe674a29ad567f8bd58556f304516b 257015 ocaml optional coq-stdpp_1.11.0.orig.tar.bz2 97a7269b0d7c8bfe05870a86e2382bb2 2772 ocaml optional coq-stdpp_1.11.0-1.debian.tar.xz 1191fadc1f90b246e949a2878df6c9e5 7128 ocaml optional coq-stdpp_1.11.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sJ4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbn8P/jIHbRT0khiCPpV1BI4YvGt4btOiJpyi 1fKLigo6A7ulOV2+rhnq4UW4SgEZ6oCG0uMEnILi8C0n4Qzwru4KubdvapKMelCD SSiXzxX6WrhO3I9WSmIL0SRpFm6urGKaeJJthgec4A4fK6JudrZ6iJDLWVWy98rk FubsW8x0IfYkLR+dgOEacZTaz8DqIity8sES/Vlt87vFGiROWm1PVy1TduxX3H1G xnI3Kcu+OD08ShIf/j3OTPG17vgFr7yufl7izuK0R6MIJedUPrer8mIm6GmYuSmW 3ZLsfCoxMLXpg56v7svuHpFsgf/Y9cKZttWmBqfvDr8pB8ClhvEq4kTPVmJ/5q3e HqDLXGtzWYrkHQdV1LmNs0hXsIYYvE2GPgTUu5a0Yp/xmp5ddihf/YXjTPh9OUIl IDlAK7z8l0v1TZknju7DHMLJw6uSNOuz8u+094rHkJ4dt/CxJbwSD8QUROt5dia3 HYm0vydvz5oLBgMaPRpuDjqeeRacqmp34wFY3EdFFLjccUIGoo65HhnyKFRXgXHd OuxlpsDsypsG9bVflLDFDSAe5nmllp/9Ilnh4M6ovkc1I1ojX0hEWcLuWpKnXIZt oCv3ywCz+eYDbVgp1NfuUvURi/TMXp/5cE6Ny+sx2iu6VFIOL/CSf9YXAU8opkSE KFwgNsXordcc =Xxun -----END PGP SIGNATURE-----