Accepted coq-hierarchy-builder 1.6.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.6.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:19:28 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.6.0-1_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.6.0-1
- 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=4Jw0ZN/iCVVlivzM4CpR1pZaWhAJkwZjAe0tBWCkw9o=; b=gVZspyRBScb7ZUiarEPtvHQEQg q+gQiCPHAGuTlNBkClQVrlqwd441X241UpOBVs8kIy3VPh+4lUOZ1hicSdBVOCxoiJBe2rDqNbIjM 9B8v4tJnjkfGA7HVyjTeIwJCl0sODvcKW9kg+sheB4TOkrfAuH6O/dbNjpMibYOmNekJWJzkjj8OF UW0iXTD1fbd7/SeuWfLKC3cZNkyAhxFEozrtCv6ICvVpkdAj7Jk/3caIe1CmIeOx1pQV5iikr2eRG U3dqAbmBSHgtz/KEfhooBVyd4ylMDaMn5lhf8+QKq7yI1J6ySm8dc0yST5GKmsNBTEI+26zA5v5Du hRMAUiDA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH02S-002Q36-0c@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:58:58 +0100
Source: coq-hierarchy-builder
Architecture: source
Version: 1.6.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044275
Changes:
coq-hierarchy-builder (1.6.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044275).
* New upstream release.
* Drop all patches.
Checksums-Sha1:
41c8f59936126373f214d5e51442048496ff9cc5 2225 coq-hierarchy-builder_1.6.0-1.dsc
16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
d82f833a10d00dca7f1b177e2c47f341142eb7e1 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
ac244ae3b4d048f2594f4095b9fa09e208d07244 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo
Checksums-Sha256:
1ea62dba88ebf9907e5565bf7e34862728d5db0489765b14aabac8c0dec4cd7f 2225 coq-hierarchy-builder_1.6.0-1.dsc
18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
0a0df2e54ed3f0ceff913416daa0bc3ba5f14e99b42f411301da5c7f68b4fad4 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
188d8cc7dc9ae08b304e34fd477ced8b63a72684f58c6461b35fc108582588f9 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo
Files:
a7c9f34a9fca3630f3b4b4d23ec0b7bd 2225 ocaml optional coq-hierarchy-builder_1.6.0-1.dsc
cf7c99cfa85c6efbeb69a232fd1012b7 202232 ocaml optional coq-hierarchy-builder_1.6.0.orig.tar.gz
fe0a85877e84d5ffe15d693ec267e97e 3420 ocaml optional coq-hierarchy-builder_1.6.0-1.debian.tar.xz
0d8494d4afdd91a17ec4276f02dc6683 8419 ocaml optional coq-hierarchy-builder_1.6.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYNUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREWIQAKewtzAizKFi416rTL1+JeH48eJXz6lx
2GNlfy1i5Tglhk0dnx/D1xCRldQwNS1r5Jg8A3LehcKGJZAq0Q2AQVOyjVaJC065
82duHZaVtI3UfgA4iYUVUXbO08ysL5qwX6+1a0ALaH4MOf+HDSgBDt6gCqRN2uak
fm2Oi464QOiVJsEPgtvaYKoDCS4d6WusSazwilmgGtqf4LIMglaK9MoWJiWNWhkW
0eBdrdvxKALgAkuTz8Jw6eFlZ4B3bMxu05GKGVTj18IWgT89XF9ZFBq2JvQJeDnn
ZtMm7SdhEl2iHOUPXsPxwIHmQxM4KKSguKdFQ40yMrZ5Hm9GwZ34R6JegDor7DRv
ewa1B8fwQAgQwkiR6YkxbuvnOB3cp9iYmzDbzXInc1tDH1RlFJb44ABY5SMd2WYo
cSFLejjOIfUBUOT4+j+yiHZ/rwyyvzs/ICC9EJwCuJU9MF+uBTxfEwwKiijbJv67
5MHmoCidSEJOVCYkpXQxWzbyMGLajDlufru91VzMMNKCuzyEx9dU3+PcVtURrP1E
Q48Zd/tZ5tVlOgZyGHK/5bhzaQUt7/0JPb/LY3YhJfmeiGM4EFiskV41Uv9c0S3x
lS9s+q6S806GAn/0lhAYW9zN7k/OiciHOLIs+r6ho5o9VyQNMh7Vv5XDDeP1Mebg
sVHbK35BPfoL
=BtyS
-----END PGP SIGNATURE-----