Accepted coq-hierarchy-builder 1.4.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:05:24 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-3_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.0-3
- 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=jB8ioRIKBMXWJrLoXmxxzDJ1PUOfQtWNwXHM+0y92vc=; b=pq4QawiwaPxheuLOxVJ0yQtQYw iZ+y5jyQBLE/8KwYBKE+sjuE93cyfR/nsrgV6cy88+dac0qmfMNnqqXrzyW5+XrARz4AnX7+pZEGK Bjvqm/cemdxIwxJx8QaFM3gf7Ar/hYq2xMCn7ycEhVVd0lBaOiSDpajz7UtaucnCh42pecD4GoeQJ zglmFXcgI6mwVmGIHiUNVS7bSMDl0v+9B5Zj67qGmDTmS8kE0NXvnLnSwbXhLYXVXkoYWGfS+3SVg 1i060/DV3MlHFcPzPcLplxR9NWCqMG6dU/EfmL2YFg/s9uIrNdxozhF3FHgQ3AlSXFAhSiCfglRMw FiVExEgg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8x9g-001jpz-2h@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:06:07 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-3
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.4.0-3) unstable; urgency=medium
.
* Add patch to work with Coq 8.17.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
2f9b097f329d2257aef8a291f8f333b09f4edd05 2225 coq-hierarchy-builder_1.4.0-3.dsc
5c1a17ad656d5eece26dc5e51d480208e2da7c5b 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz
5804814cfa00aa9fc4ab028d95ffc73c62c5d856 7911 coq-hierarchy-builder_1.4.0-3_source.buildinfo
Checksums-Sha256:
de2e100b4a1c5fd1dfefa3e8174b9d7e69b2cca1c312b7ac2ae723ea9985e78e 2225 coq-hierarchy-builder_1.4.0-3.dsc
57547078bb802143447da7dc1dd241c95f82ea7e9ae2fc8078e4afe374261c74 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz
e2fd8ad8cab7541c9ee679b6e983edaad28b857daf85b1e8ed6a646ca98fd6af 7911 coq-hierarchy-builder_1.4.0-3_source.buildinfo
Files:
8d7355ef6ad2fe260e2c2fcf3e937e54 2225 ocaml optional coq-hierarchy-builder_1.4.0-3.dsc
192b0f95fb85555be6f0ab61a29ff359 3720 ocaml optional coq-hierarchy-builder_1.4.0-3.debian.tar.xz
150b57a90a369c13d60c1cd6c897d653 7911 ocaml optional coq-hierarchy-builder_1.4.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+XkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQ4P/33Upcb8kAFaNBuQjHRTwmX+kZMJOJCK
IaQzcW+sFXyLH914qRH4byXklA6bh2oZqt147r/+2CbKPm4vXzX66JpB/Em5cU6W
awwsOYwzMWNacsB5tiUMfo9KStOWYCxZDHcmm86YFEk9x44M0hD9p2TE33ZW9jKY
k2Y9btyqZZTMAFajF116JiEwyCfuVAEdLfMpO8WgZtlTVkWNMx/uQkEwPftXXeB1
1ibN/B47bimGlQK6soy1lcVKI7scgNvZpigZKhlgtPy/+OZtM/l+w5SiYCmk8Z0p
wy3dZdil8ezLlj/eoZ6j19ndl7AUjuhHbicr2fn3KhCGldO6IHZqyxzeA3Pq6qR6
+QdUEFCDm/0ikbaY8iokedYzPG2YO7GvNJV5cEhLOwMzQsl1i0NXieSyXE6wrBqt
mvkqj7eM+18DyEJBGwwrncDD0q24V/1v04FfNIOXAjtgzDel41k1IT9ItHoR4xDm
PxswfCE4MKPvt/F3MH3Lg/q6CTcZNBaWnX/5oQpA0MmQwIFSLYbA5aZYnCZUtKBi
vQMYYe9UWHeYR8sSqnv8EyVdwNGJoK6BTjGX2XNHTnCZJY9Qob2EA5gaarLfCuOE
PEQmxwhRPiSUymrMakclmGraK0P853n0j2wwMgIRRzrpX66vvwT/lxseqz6W7nSd
NnCodYQaKmAb
=b0gL
-----END PGP SIGNATURE-----