coq-bignums_8.16.0-1_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: