-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Aug 2022 16:36:40 +0200 Source: coq-bignums Architecture: source Version: 8.16.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-bignums (8.16.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 45437acbf46358102a96499abf44a097e63efb6e 2092 coq-bignums_8.16.0-1.dsc f53b271f1e9b8e287e083e4e32ffc49c7502c543 116097 coq-bignums_8.16.0.orig.tar.gz 93af6153a81645fea93eb5ff91c6925682ca8da9 1792 coq-bignums_8.16.0-1.debian.tar.xz add0dbd9c61649668bbaf90de60d6ceb72a3de50 6991 coq-bignums_8.16.0-1_source.buildinfo Checksums-Sha256: 09896962954aef15d2a63cd64adbc2862fad886b9414e1c2c39f13f83001ed55 2092 coq-bignums_8.16.0-1.dsc 5e6bede08f3c019f3fac2d834e7c36b9f42033736a1d1c75251965eb7708374a 116097 coq-bignums_8.16.0.orig.tar.gz 71fcf12a8440b7fdf0f677e228ec3aa095c3c39a28fd836d417a3e0752f53e5c 1792 coq-bignums_8.16.0-1.debian.tar.xz 0e5f8b4c9df49e9d8e365d685cb733b156d0bb235be7f22aca1e1aac2468cc14 6991 coq-bignums_8.16.0-1_source.buildinfo Files: 4bb70e90965b25c5c4de0b4505e90ac9 2092 ocaml optional coq-bignums_8.16.0-1.dsc d3d9f5aed9c78d53748f14ab98d84c08 116097 ocaml optional coq-bignums_8.16.0.orig.tar.gz 1e998cde7ada60f60c280cfe1950915c 1792 ocaml optional coq-bignums_8.16.0-1.debian.tar.xz 817d356caeb588602c3808f7123c44ee 6991 ocaml optional coq-bignums_8.16.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIHcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRqesP/RXvheDpOw1bugmdLmQdPlV3Ktb/SVGO LXm1N0KdLqT6fN8wxTDNHSiaS6HmX6Idv8wUhI2WJj9HoiETQZtI2xoFy0bUHaI4 ZmWL6qAwcdTFBG7zZjT7Bnw0uS2Wu0CUA9nXKUjiFLJXpbnYu9CLJ2D/N4dgwDrr mSy+eLaEyXlMFlX828v7vVCiHB8dZzM0AtY36tSETrUCd5WxYbK2sZx2Te5gD55u YSXQE7Ei2U7PPebj/DdfJKTsHcXdfBPj7jucesCInw+T7KGnpEtpc8qVtp4S8l6I HitULbdbBsrTXzn6blBuyObf+pS+1c2iT+ToJPOJs25yrcFyWX9uwlO0W+xaA3iY jF9t7E9DTdHb8g2C4v7z7AhWR8bM4FgpiN8jIFCZ7brrFcMvU+SznznRzbZvCT3R PbhwRiNAUyIA7s6IX+jGODD/5ylxiq3wI2TgBbYri2+CKTUeTIsuMpF9eydRuDxY 5LrU1xL0PzkIpbRUo7Pos+wMFuGBP+f63aenMRrt0x4Eh2j8ChyC34HmmH9l45zi cralit+ZbCpL3WitnPfUlM+5K9r0KO0Evaq4ptxNm+mvjycbG4Y1zNmF4t3Ubrlx C7oPNcjnTDmQEbhrmmcE7sJOJTi5P+1xmozGmHB9wUqnyQ8HjySAmOgVf1AuFknK mPabQnG6SoaQ =NCmC -----END PGP SIGNATURE-----
