Accepted coq-hierarchy-builder 1.4.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 26 Oct 2022 07:19:17 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-2_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.0-2
- 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=oil9EtK9flbubd2OTbp+a27rPd40cvvs7fbX5Cop2hs=; b=bcWSi4JtO98e63Mn5PRDPKWLHe Ookrb1L9z0tuOVHYGeyUd9fvKdMWmGuasf4qIhAua0g+8RHDpGP5ur/5BrYtxzWbHPvrcD1hFhxWs XWcDx5dD05PamuB4SL9F8Gj5RsmIkAVwc+zpBzC7SfabhHHvfBEIsqf3mMyb0Yc5BWn3WgGSig5EF wRo26f2ERrfXDo2A4uh/ytk6LYe3o5wMr+PaTSh/GDVyWS07C9f3uCm2ve6+7X/YwkquhiJuMlyCj wqfcUiQAPpkw0T00Osyd6v909If+PG0Ko5mit5NMfvT4aXTGWam+hWC4WSicJdwBCUKIdmuyDzhzH 5KkbLVRw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1onah3-00CyRF-E4@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 26 Oct 2022 08:54:20 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-2
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-2) unstable; urgency=medium
.
* Rebuild to cope with new elpi.
Checksums-Sha1:
e0db39d311a316d5ef91c33c1b6e5090b961d77b 2225 coq-hierarchy-builder_1.4.0-2.dsc
c68077e621a3cb7a341f8f032d576d299d525647 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz
b80512b5282db22aadd4944cd01e6ad47288a709 8077 coq-hierarchy-builder_1.4.0-2_source.buildinfo
Checksums-Sha256:
5771e66d5f591956cc8aada1c50788da30249ec5ec548a31177516030a22a493 2225 coq-hierarchy-builder_1.4.0-2.dsc
5fba885d6160c4fa136eb7f9344a1e50c54a4f0db799495202053fbb2139b3da 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz
be7b2ba13d696ea3dee656e2a425856b65fca041c11a47e60ccc64dba4a562fd 8077 coq-hierarchy-builder_1.4.0-2_source.buildinfo
Files:
ba43e65af6b3583ef512ad7d8728f399 2225 ocaml optional coq-hierarchy-builder_1.4.0-2.dsc
4de27c5d3fc546e35ce00bff9292fdfa 3132 ocaml optional coq-hierarchy-builder_1.4.0-2.debian.tar.xz
b6435c2dbfe1a0c851294c0dc1b6f136 8077 ocaml optional coq-hierarchy-builder_1.4.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2coSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQaQP/0h1ZWSO4SqS+xGMcMFCqSXWXy4LDcEp
9BUMK1AHGaRsIrDEP7tH4xAwS2VyDo1wJZALKA2yfSVWv4mk9bay/61rlPdFiVZ8
R7W5nLi+TcCdQTeJnNd7YU765GCPLx5VtqEPrAfh2eM0oa5pmoLNbBd0/6oRIN+A
KsUb9Mv5SOv6D1E66LfO2fqRCbyxNPdhChQQKSlnmDvXck3POHM8YRlpzyElmqNm
J+8kNlybSE0Lo8hMUyG3Udgmv+0hWMByCC0oSqwrsq8vD7UrTBp4W7c2AbmWrYLW
wM1VmTw9u9fvhm2+BcTNiSoxYDGPIAI9uWMT4S8fwBuy3fXP5CyqYijznQkJr2J3
GZzga7VUs9xcZiLA0PvOZiBDb1pvpoIwV0RAhnJxWV3ZbX22d1IZODk8I3tn80rK
3EXq/HpWOAYHv5vldlDyqVqOWZdWZr47Vwq2ziLMlW5xxm9F1+MDcjb2N/j+IA1k
x185fxcxqXjADtisyU6himQul3ygYfs48xIt6niM7t/7mkQHz7VD7iyTUc4LYvBr
Wqql86pTPx9GcmNS6uJhXBd7/DX5LaZAMrI8QaDA8rZYMieh0+Vx7g2QjjzViAx+
hd+Oz2PwAVmVPlTVZH3Nzy1QhlQDaQHkkzRMqmYDJiFZHlwWjKmmLS2Fe8slwBPK
dRCPpHSdd1M5
=1jN4
-----END PGP SIGNATURE-----