Accepted coq-reglang 1.2.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.2.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 20 Jan 2024 21:04:35 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reglang_1.2.1-1_source.changes
- Debian-source: coq-reglang
- Debian-suite: unstable
- Debian-version: 1.2.1-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Q/EfK33T1jOzJHEI5jbBwosd0VVNo3CfXcuhcyb9Ox0=; b=Ina26ko6+gKV6ITddKhYI3W3jB Ys48vk/YSLXO2v3braaYkH7Oc926hs6ErWM/FAOVVZJvOj+VF/ZcA5bLr+PrOUQlNDcHIViqVHwsh dz6E36dwzaSlKaywkNZnrw4287fzHS8xEEynBIei/0M9esLczC9pbCf7K3UzlOdbLd7B1tU6IV8fL NMG49ZNaIdQXGutngHsVmThu77JXAi4TtdZkz/pK3JG8eLKX+88+XlwQAHsdGiGvreGOV2mxNXmUK FUFQ0q44yj3VpbZPqRe1MYLpAIEnJufr49pMnDiHNHi2n56Ql9MnoOq8sBjIKaefalMINAEeMcteX Cw9YmH/A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rRIW3-00FMc7-Ho@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----