-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 23 Nov 2024 16:03:33 +0100 Source: coq-unicoq Architecture: source Version: 1.6-8.20-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unicoq (1.6-8.20-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 45d093f4941183c97746c207114049302daa8bcd 2094 coq-unicoq_1.6-8.20-1.dsc 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz c2028714199f0622c612e437a8a10264b084b52d 2720 coq-unicoq_1.6-8.20-1.debian.tar.xz 467de5b2eca1ce785df84b5029bccb219d843761 7140 coq-unicoq_1.6-8.20-1_source.buildinfo Checksums-Sha256: 7e3e08952802a4419f3c38aaee19817ba9e94188b90c6431966b9f9b3af728ca 2094 coq-unicoq_1.6-8.20-1.dsc df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz c58299af6e9dfaead46567d4b1bbb65d3c464a9a28afcfc1d4c73e89da8d0e5e 2720 coq-unicoq_1.6-8.20-1.debian.tar.xz c6609a160fabdf1b830b4314ee34a92739500ec5f669f495a2cf99a9ff847910 7140 coq-unicoq_1.6-8.20-1_source.buildinfo Files: e0e43c0f2f71db80d819017a875289cf 2094 ocaml optional coq-unicoq_1.6-8.20-1.dsc 1c2a90a1a5c2652e77472d1498520367 593674 ocaml optional coq-unicoq_1.6-8.20.orig.tar.gz af608f57b7230f12dec2608795645eac 2720 ocaml optional coq-unicoq_1.6-8.20-1.debian.tar.xz f7cf287f77118d7447873654b47f2f05 7140 ocaml optional coq-unicoq_1.6-8.20-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB7xsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/NQP/12vy4c9jE1ZWyqhxBuCHe330P+OPx39 6+Tv3emcQCfCNqBihEfZfc4Y/MKaeAe6vO7IigdykadmcXK6zE/yWZ1lmGcLcGuh pVKjNGZmdLVT7zS5jOgWO/2j3/GAuQ4erQoaX5aib1GsN/vHMtyEYSJYEIaX9fOC QDhArfR30Tt8gUY8htOALqhAV9ZkP2z86I8jaJI2p9INHMqleKyxEIbmL4v80AnO HmZtbT4zjrQ9dLw5rfG3rx2mTlFk5hmV7L4cT1s9lpog2a3fO0BUnshH4hZD0I7I 1eKcyuGEpjRYXrbah2kqMrF+Ei3n4YHi5GnJElXVx3ru/PeMDRol2BuFXNHPia+J 9rlzWqCzea6cUrSsq0mzKE+zJpSmQThpI5UmfpQ4C+6wqarW+PLI8o47wpqBDxcr xQoAoBFZbjM2US+NFvw3iC+wzvoBe86lRkk+i+30ctV31rX0ukPgYAPKBOCFFAbz zaj+WGviSSls6iHlvqg6VXZOs3/ev3b0Nw1aNLsnPd74GNRQkuKxZbUVxJPuTZH0 H2m7pS7IUBVMYTua+YKDBg2gyIby2JSNG6QyJ73gAlycnDx4GTdKg/5QnSRztyFB SHTiZQmqIxSf9BOxFhpf3l3peREMXv0QRQj6PqoiEB02hN6fIyP9D8hXcSwz1FUB y7GGFVQyHtGa =pVjq -----END PGP SIGNATURE-----
