Accepted coq-hierarchy-builder 1.2.1-8 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.2.1-8 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 22 May 2022 17:49:03 +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=9iqxmbhVURHMxZE+us7bEFpO9jTloitZZ1nTCz//vJ4=; b=X+4x97JcfjdZ/1dHqeHNW1hDwc pfecpZxeo4HgCX3EBvGDBBm+sjOVrqHsXiHluOoKGkyzgEY+Pk1AYRm6qfrlD9kn0t5qUDjNIeIxJ SgI/l3ukVFWkGLreRUUHLrvWLDZmfcc4gYSsQLvi7HraLZ+VBv5ACz8f/U7Yu/R/whpKjpdA2B3aD 6JYWDnAjzfbyCd3xmVhrf6USfq8LjgYDK6rpTYm/lF1j9UOoA5s4xi7ya51mkBTxxburC6If2yX6X EmsLTvGg7YYT3QqICmOda8PbtVKYJR8hvxApOtRfRxp0i/N0cHCO8o//uQoIiliub44tiFisgwqsM MVDHhaMQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nsphP-000F78-VU@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 22 May 2022 19:29:30 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-8
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-8) unstable; urgency=medium
.
* Re-upload to fix ABI breakage.
Checksums-Sha1:
7e0df3cb9fb2b4a8a6f3dffcb7089b87bcfca9a5 2214 coq-hierarchy-builder_1.2.1-8.dsc
1ef180062b750ba8045488ef040d6e103399f863 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
e03d4601ea40ac8e0498830ac1f3ca5470ef00dc 7351 coq-hierarchy-builder_1.2.1-8_source.buildinfo
Checksums-Sha256:
024f779cc51f3fa4f81feb10a776c2ced59b02e5748d7881eaa6605a15b7d926 2214 coq-hierarchy-builder_1.2.1-8.dsc
7a78ed390aa92733c986472a92be2893627a66ce13f117e045aa7436d4d1bda9 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
d4c61ca7086b1cc65e450a185c0749bcaab8bebc2648b1208db14aae36eb99ce 7351 coq-hierarchy-builder_1.2.1-8_source.buildinfo
Files:
3ef0db7eb92853c2641b364e0a75eb6b 2214 ocaml optional coq-hierarchy-builder_1.2.1-8.dsc
ec1f591c7ab5e330b4895ba69539a6fd 2960 ocaml optional coq-hierarchy-builder_1.2.1-8.debian.tar.xz
14e408be3ca20d0f9334dce7c72369bd 7351 ocaml optional coq-hierarchy-builder_1.2.1-8_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcxESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSUYP/iPEgItzdklxBlwwBMT54A8DnpWp3Fw4
JNAFP3NVP/WAgvtXFTQjWOroSQyXaJqKuFPL0gHWwcNwBK4rAoKcnuTNkLN+9APc
E2ACCVD0w6dS7egUgG309bcVeUlJ/F3rq0fAD8oya4ZmZ00nNjPersVkuS8bWsJF
xo9XH/+XjSuiLxv/yjpIhNhfs/2fDBf/fvKgwjFdFtDBskcNa+F3uUmV2s3LLxJd
Zd50NKuYp9DZpFcYUg73kbf5UHRhiYjFbtNcU6Vsni0aXdDF4pusNYLKkGLFPU2s
CUo9kbN3mbS3rsURhNqEsr3shj4o/5XjUE4MPdOGvPpIij0SZ8nMfVEYIIDhdXGg
k/b0IXgNT9OMGQWLbeyGokxkLM/5z8/V5yJFOEVDu9rP3GOeOLOGIsspehd4wy/F
NUZXALo8u88V0nMuKt+33LFC7dx6S8hf2n9oMkqZgictTF5TwkwSKA0s/3KQmPvj
JpkeLiwptC2QBC97CeH7tosPSW9PNsaDhtVNL7F16t/Y8NxNyhCAmfoLyesUYasU
f0lBR4i42iKbtk+670TcCxzVcQj9YMviZIvMCHVeiu/oJ4OLaY1MT+1fxfrfogwK
34vQZCzk2jYMQQLDIw/1utzSmW+YWAuLKeIw8JsFtmrQyx1XGPzbrsqrSeWkrAM6
hc6Qgw+Sso7H
=6i+5
-----END PGP SIGNATURE-----