Accepted coq-hierarchy-builder 1.2.1-9 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-9 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 23 May 2022 14:46:37 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=tXkhOWzeWz4+hG1qN2ifhLmVu3z8pXZF8QXkL/ejfvA=; b=qxpLQXL/wiFGHmnAB7BdR+LlK+ SEc4hnkweOPNQnYz4D3hnjhRJ+g0wBSN9+5OwJcf96bnyI89/MQzng062Hwwtd7q3NmcsatOyg+5s ukeoJsZcD9UzJtwz746lrGUNvJP5E+8NtkiQyh66/4p+Fh3/u82wanQsViDPrb8/JH8Dgz59tGcW5 v600yJyfzkhJJPRNOx1DvmwkmrxOg81+mubyDXF3uRRPPsFyWOnVLbeFZYwJQ3R1v8niKWzV7Y49f XkJJw8l4XX130XS8DhLkK2mHDotWWWxiIXiL6K/jX002VGjPXvHHcZt5Ru3uywGji/R6sIRFErBXN alIMUR7g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nt9KP-0008JZ-Fo@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 23 May 2022 16:18:40 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-9
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hierarchy-builder (1.2.1-9) unstable; urgency=medium
.
* Add patch to support coq-elpi 1.14.0.
Checksums-Sha1:
c1a1a21e271691894061f9b240e7b87006695e4c 2221 coq-hierarchy-builder_1.2.1-9.dsc
260b78e17c826743c1b2baddec1cda22b474b306 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
3ee8ee84056ed9d5ab4fab13132a39b7f110b7e1 7374 coq-hierarchy-builder_1.2.1-9_source.buildinfo
Checksums-Sha256:
f0f8e2045a5e1cc8b17eed119267f5a59ba6edba4aa84d260e05b8f57bbe7c8f 2221 coq-hierarchy-builder_1.2.1-9.dsc
0b5808f9e80ae96c29900e40f3f54e73fe7aef1358a4bcb1539736ab8fb55083 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
7a8fdc85cfdb76ca78333b938393f0d1c5ac9a270f85f74d7457b84b0162c356 7374 coq-hierarchy-builder_1.2.1-9_source.buildinfo
Files:
1d735d98ef7877314dbd500db33ef102 2221 ocaml optional coq-hierarchy-builder_1.2.1-9.dsc
0eda638696aa38345d4e3c90759c57b0 3740 ocaml optional coq-hierarchy-builder_1.2.1-9.debian.tar.xz
a4b04f85dd275b4b1877f4db8fe5a3e2 7374 ocaml optional coq-hierarchy-builder_1.2.1-9_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLl9wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRlwP/15mYQbavJN5C4IrYbL7JABOflhwpR3f
ICNBL/4GpBJmPOZHYjZjmA6E+XffERrJkjwkAIbosrEGr8V7JUlhP5Qxmif063E0
WXtrUCGTFGir8fa9V6pLWLROPvCejKC/1zA9qA7xrckAGj5shB4t02PZI1v359vd
NnVs+N3/gneoALnVrJqQ7+jbvhlvQ+Ye3rcC53mTBxhMees5aby7pnAGHbipm/DA
4WxMgD/HBz+U1szPVRSrYlnRU9ZXOJbMDINITzMxS+itJL9/bnQYqvOL6i9xv7oc
Rlab49ZsS3ck+QM1ciMhVhZWxh94l3yeWllMimqlA9ncuoxFv9tJTQzjFkkqvd2k
MBilC6hORHsdP1H/5fBkOdqtToRqnvU6gE+A86cCjiZV40ZES5HKcXUIUmUZZjUL
aCS0NatQoWfjmARQiyZeBXykRIP2nA8ThU0jLo8Xl7hFBAT0D1uohpOr82QVC9xv
Em/oZPZBG/QhQs88ixweRcY3KelsHGCDDEhtrXnrcuH5u3Q2RZor8AesgfaI+wWN
mqqoi7QLHlzD4hvR3Q2QBh2qnaXuSTv6QXF/vyb6cyDAAxcD5o3kG+8pjql7LXtD
lAEB7G7Y7PIAe4K0fosUsNhs7vMngafm+D8QQODhF1u716V2gptHiBO3HKFIZqrm
SjZiaXwqfepP
=mb2B
-----END PGP SIGNATURE-----