Accepted coq-hierarchy-builder 1.3.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.3.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 30 Jul 2022 16:04:16 +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=aHRzjwLMYW5O9MUY0EatkaMVsTDrYZqsjUTWJfYFnzI=; b=AXt0eqOY50J3TrV5rvWc2g+a+z 7elP4cBX7ElHuaqZCeyTEB8IokEOtNxxHVwSjZUu7Wiok6+WWdOTyi4KNhiitCDom33PeHvypn44Z 2wEccOE/scTUQI3rtErnWLOWGc1j8VN0EVzmYQdUKa5SNkCc71jf5LOG5rUIRaj2Lv2/4hqfHEobW AUPxqWIS2A32GMFbUpQZJUuhsgXCeEUeYQETrVBRtiuXQ+eFLTWtoJLjJKWPz3eP0MAgjcYvWkSpm THgysynXHaApzgV9hsBdLFlfUpdYL3qK3yS18VsiGZxhyek18aDZz+CzIWp+1kYH8jAAUVl2sUISu D3AnxsKA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oHowq-000Aqz-69@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 30 Jul 2022 17:44:16 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1016303
Changes:
coq-hierarchy-builder (1.3.0-1) unstable; urgency=medium
.
* New upstream release.
* Add patch so upstream test suite passes with a more recent elpi
(Closes: #1016303).
Checksums-Sha1:
c8835462ed8504ff8c6f0dd3197566081895484d 2229 coq-hierarchy-builder_1.3.0-1.dsc
45b9670ce4dc977d2af1edb7ccfc7b79f22bc217 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
de5067cd9c8afa4f2ef8aabf5c3ba2dee6f111b2 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
9c6a9ec21cd462da15fb97b9102ce09c02ff4047 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo
Checksums-Sha256:
4683f36c36f30bcde1d0afeaee2b2dd70af46b78c60ed6959213c19631294d25 2229 coq-hierarchy-builder_1.3.0-1.dsc
8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
a1eb2fa42297555e4215fcee73d1e6a808d851c7fce31e5a38dbdbe78aeb217c 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
c5607680eb81f3a8d1ca4a20e3d5dee27ae3ec39cc42871788b7085c8c83d66c 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo
Files:
c2de8e1b4c4277ce07f4ff5f2ade862d 2229 ocaml optional coq-hierarchy-builder_1.3.0-1.dsc
42ef8d7c9f81a71b360214b2397fd52b 200135 ocaml optional coq-hierarchy-builder_1.3.0.orig.tar.gz
b687348c4036880abc5a7c77b0c7f1ec 3348 ocaml optional coq-hierarchy-builder_1.3.0-1.debian.tar.xz
d9647b1843f414bfc1695c7ca54e0f8a 7577 ocaml optional coq-hierarchy-builder_1.3.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLlUgcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRczcP/1L+ED8ZYKMHSGGjI/KmxatCavnWLXqE
oLeeqgXPCh99pO1I+Epj/C1Di4y7vcDKT4zdoFe3EVyJ5YH5hfDqabFMWI9eQtzb
pjVVFfpoI0llsNwcVXKeXY3ThHmIDr796HaiXM2snm8SAYq6E2MVJP+p0TNJ6UZ0
LM9dn3FWkiNiZmz7X4bZM2++o+7IOD/RjbvHUMx1R/nM5sUefdGjdf4TkCLvxlAs
JS6ftkxApzgLamhFYes8UbjQ5Qz553CX7VgvyPmFPm1+m23pw3s2+A8iwKf9jHMd
a1uZ8rJZ0wLPwesct8WYLzJHjAxRzcncgnXziL9sK3+vCGh+qSWaUx7cfx9wgCwa
qpSoGxEM17oKT9izYwoOvkpNNnm489Z8k5LxoGmVgNTV/Zqyj/U3R6Xp9JXYmLLH
daelYTsP1KvvURwRaa5ENZ1tdzTPPNHLFwkkowV2sKDWduX2pRo+GBJwoArPlFBU
BagVVVO8I4lVNTxeJy3jUZnNt4d4BQ30DwW2ycw0uiNNDDzaEBccDHECL4RiqA4e
SubkqzehmJMYdrcGZ/UUgZVwzAA8b0LheCHyxVOueExVKdZ6RkhwtlLWN/EPxJm2
Pbr66gdd6fcBbjvGoKCSbhuZrw6VICCWbuqeDlaC4827SjBdxc4hh5wLV9bRMBVi
Fxgl8QZORUDZ
=czfj
-----END PGP SIGNATURE-----