Accepted coq-hierarchy-builder 1.2.1-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 12 May 2022 06:48:52 +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=C1Wrz8MP1lKNq9uC4YYosHpHTVgJLEdibCANrd1Wv4s=; b=R7PY1F8RknWkLPTVF6Wt6u7pRZ sJqFeG85Ev3RssgWEjlpsJsn+QcxMUtSBb7H5qPjimALxcJ5fEIfCUaXFtGmjrjnh2WqrPid2N670 uuEVILf6ev6YfmdPK7y/fuxznyRJ4Mly2eLBn0KLXw5XU853HCUCKItgCegUdWAZYjI/j48Ut/urA BB7/IdDa16L+fU0bD2ug6w4EuRz/nFN4DVOxNz2spd9s73VieZMsf4P3J9zD7LyGlkwUfd6cddXZB QgOwsdx/Xnibt4igr8r6R1QR2gUS9M57bxD/ctf2fgus+DCjdbB4zq56gj/SL35LYzeG3F58d9qpN q0C8E7/g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1np2d2-000Dxt-Ie@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 12 May 2022 08:34:18 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-7
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-7) unstable; urgency=medium
.
* Really fix the dependency on the Coq ABI?
Checksums-Sha1:
df15c323134e91a041926d8e6e0d8227fe1b2983 2214 coq-hierarchy-builder_1.2.1-7.dsc
5164da38a106720df6f6d8b36943aead96a5be79 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
173e9abb082b6a7de7d94dd37bb246bcfab03498 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo
Checksums-Sha256:
faf4e386b2acc44afd8e129e01239153efcb8048ee6627ba5e3a35b143185fc8 2214 coq-hierarchy-builder_1.2.1-7.dsc
d338360bebd49df121ec4198bf97c32e02191a776684d29eb92e8259df8073f2 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
041238bd64fe6e36046201fa843ab02434d6ddf2db57e329a70e6b3b07723c19 7322 coq-hierarchy-builder_1.2.1-7_source.buildinfo
Files:
eaa80f274e8e2eddfea7d7a3366ca8c7 2214 ocaml optional coq-hierarchy-builder_1.2.1-7.dsc
380f62b79b9d650a432996fcc758c2f6 2932 ocaml optional coq-hierarchy-builder_1.2.1-7.debian.tar.xz
39e74c7775eeaa6b057ca2eea0d996f8 7322 ocaml optional coq-hierarchy-builder_1.2.1-7_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ8qpISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoCoP/RdDrkWwSbeGdIdZp2z4jDSMEYzYRXrK
U41wm0VQYtg1Kf3cSLLn4TIXphJDmjtpLMRy7t1futjfP0arxEKT11mR3KTY9dET
69ASQCMVmn4rcE5mYCBIQA5ogtl/L+kS1ZXCiJdgcZDohMkC87UmDUQIX5T2iRna
RlNa9AXYoCMqu7P4bud3M4jHMnQAaUtmJhQZQdMMoQ5afTW8y5GRq6RGXzyS0AXv
TEGJeC0cz/Qe147tQsRvtikyeoBNfhJcH8lIbLzTv/m9chW7v1Y5Gg8tdenn0BIu
y5RLiDKGDZF9/xRfsUiKga7hv0QequhGN4rvBV5OL6cxIaIFlH6Z5ixB8N1jqcQr
zuVvtnDKl3SYbdmId2OvZBfoeMc9F8lb+yonSb/4OAxxzEro9MZD5YaOMmcxXDOM
BOX0u0IWBZDDfW3eiwm2NRrmJSi+yZ21nIug335FSDzmU43eNBgjN/pvFD/AY6yw
ihElHz0eyd1u6ifHvSay7FFbxAgqXr4GyffVwJutZDhrvZPkgBIIBPY1FzPGhF+3
m+w6fWJbHsa9iRrj+S47oYp3b0wU0DipSXaDxuyXV2BWE/ETKNKKn7Jo9fHIzCeb
FzDsHyHG/HviXMddGCtcY8xkgphzCpOwTl51po4G6dtKKUzy+lU/bKDsel9f6L5k
6Wtlsdardaf3
=5FAo
-----END PGP SIGNATURE-----