Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)