Accepted coq-reglang 1.2.1-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 20 Jan 2024 20:59:30 +0100
Source: coq-reglang
Architecture: source
Version: 1.2.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-reglang (1.2.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 9a1e2cf984ec8bffeacec139bdec5fe22cb42d6d 2117 coq-reglang_1.2.1-1.dsc
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 2714e42465a6e0a9a254d30b5499c2fe4c48831a 8508 coq-reglang_1.2.1-1.debian.tar.xz
 40ac134e13c794a27590e47a7b8c20dfc6434f31 8535 coq-reglang_1.2.1-1_source.buildinfo
Checksums-Sha256:
 2c953ba1bbed46fe4e68572f10882af3f98c5a52ca532b11b3564506720aa946 2117 coq-reglang_1.2.1-1.dsc
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 38ad251571d3d296ca48c38738349040d2f988241ed463766fab35bd37a8c6e2 8508 coq-reglang_1.2.1-1.debian.tar.xz
 021eab7476df2d7d917e4e4d97ed3293d773265712558e92e8dd831911bb9d22 8535 coq-reglang_1.2.1-1_source.buildinfo
Files:
 b6bdcbaedb43e00f581bb61f295a7d8e 2117 ocaml optional coq-reglang_1.2.1-1.dsc
 39b6d7cfd0237d44e4580bf13afaf6af 69424 ocaml optional coq-reglang_1.2.1.orig.tar.gz
 08205f7f7914020a325164d187a6b4fb 8508 ocaml optional coq-reglang_1.2.1-1.debian.tar.xz
 4a4d0410efeda22d0d1bbaa8afe11c41 8535 ocaml optional coq-reglang_1.2.1-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsJj8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcNAP/0B7KvA7rwAwZ4jFoyaL3xUZ2VRgIm4x
zugQO3J6uc8VMZ3yVLGF56LFJ1mG0InR3hD0GWtWlMErk9YvErk2Dw6PciuDhcnV
nwyUVXnZlCOOOyQNkEnNG8hQEe/saylIlKpC9qKHH/9x1rKsnNSdjWnPhGOhCXy4
rzV5c1iISKpoSzsKclcE/IsK9BRo5je6LP2APxJLq8KgI39cToK7hC2VYboUE59o
s92WIU/vQo2x2jSOdCXCqRY1um4ISTskV5yvni5W7NMZrFBx2zzx/Oj2VYTEoQ27
h5zDG8HylVyjlwFV4xFdfUiWyZDjiUMM7rFILUe3Vqmjia+8joernA3ERDhNifHY
bG8+P7D44ofqYfuKpN6xB7J4RaW9tuvLzrkETOx+7FI+92NSnEGuTGfsa/hHPtHu
Ox3Q4NxCEQKSvET4T4i4Bctun6bAlacNWzeAuicP5fn2ibdM+/MUUHcltquKg4nE
V+7g805s31ShW6gSIE3q5OHjh8Ma3NhNXfsJ1D78EvWhIljd0KhihXT1vq4T1QR5
+PReq2HOmwdhO6uBWDQmilp33j9TjhWpZGTxHtV5+nQVNvO+byEcIffFVH1kulB9
fsnflWmdWYnIrMbxiu2lxcgyuFxQ1htst36vCobeqIyeQvpSkz1SsGhYhfcD2atG
mp0lkcZy5jVA
=XtO1
-----END PGP SIGNATURE-----