Accepted coq-hierarchy-builder 1.4.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hierarchy-builder 1.4.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 02 Oct 2022 21:06:59 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hierarchy-builder_1.4.0-1_source.changes
- Debian-source: coq-hierarchy-builder
- Debian-suite: unstable
- Debian-version: 1.4.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=YNNEp6s+cGtxPWoPv5DKfcMCAhZEuC4vs480+SQBKzs=; b=EBLgS4REu4DDqB0vPiHpLJNBd+ fYRFG9Rsy+OUSfC/oUzq28CZzjSw4/21nRLXxvG3/EynWcfhseZZ2+9fFrWMoP5w2XXi4tNpBhirS Q/UxUOp+dvJSLVIel4ql8dH66BEzXnVqox29wIJTCyoVNgnOu52V2fc4NOwgifSEKdwu2WFSGRRmU +vTUi+kTHxw0bE09O6xB/NmnTMRGAiDz86XtQaEHIjlJQ3c8OgBJdCcSS0qtRr0IwpL95tuR/BrOo ICkb4BHbLm8s0jN4E740m0lu7MXRd2IyQV6ygM5PE/vdVT2eMZYPDuwImrwfsaezzS15f10dvi8q9 HTZhabBA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1of6At-00HFuE-Rk@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 01 Oct 2022 22:10:53 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-1
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-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
b8fa2758f5644f7a3d28565197503dc0911a8476 2225 coq-hierarchy-builder_1.4.0-1.dsc
0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
276132f48e643657c900a77b46e43a89f6163f87 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
1c68a178750743b5197454316ecadd39a8b6598b 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
Checksums-Sha256:
8ca25b112f1e33c6c2abb197bac1cb09f278e1faaaf80703501a582e1863e7c9 2225 coq-hierarchy-builder_1.4.0-1.dsc
96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
fd1f6f91cc8aa8566c63874d548ec1d86df5109f9431cebb09bae4a6fdd0c653 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
4cb619049be4c0e0a80bceafdbf0d4bbae099bbe28fcb5935b5783ac2f82db62 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
Files:
8d9e41e372f1e75d588bf1bdcab85aea 2225 ocaml optional coq-hierarchy-builder_1.4.0-1.dsc
2fb08ce2debfe46a48593132aad748f0 201673 ocaml optional coq-hierarchy-builder_1.4.0.orig.tar.gz
a87c5155f713e543acda9104ac9e9788 3104 ocaml optional coq-hierarchy-builder_1.4.0-1.debian.tar.xz
dbd69a654a7b010c42557bdbcee07553 7560 ocaml optional coq-hierarchy-builder_1.4.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM4nvESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGy4QAKLf+k9hB/XPHoHSYOnBffcoF2GDrOBu
oIhvsIEugro1h96SqlZMNKpLOo8gtawpNoyhI9ta+kP0rsHDpgTD0tRW+Kd7uul2
N9BayuqfVEAnYpnzfEJ3cJw4vd80KJqH2v1+6R5yzoY6EfujBiU907uLFg3E4oV6
br5LhetQscaFLMrkVRhg6u+jT/to5vjKljAORj3Sf4c4s5rx8zOCblE3jKzFnyJ6
PzUsbHk2lXsjeEiTYZwhFDB3XfD+HQoluwbXc8Fs+ZXtyyh9pSBChAfYTu0R4JKG
imwa9wWZuMFUNAyrPUlGvSsveWdW12dE5KLQ2lUM5e3U2NccJlhUlfxsQyq/E9eU
eYrFCBeb7HpaneU59KhQ0KCemJmAnZuHJvAhZNzRTSnfIYhE44/CqRCFRD7uRQES
QAYDKdISCaTnvm94suU4iMU2YF1MjFiMNsCXxPfGesgZxElShRjuolWQ/KtoZfTy
lX48wFItHB/dl6rjbu7z1QMiYnClZkdqvVJpow3vPQIGnDzU6TzkJZNfo9nSEUbb
U+6eLmmXT0kj42ioldr2pFgwrZgcOZnDfdY8g5Ur3aFHtdfl/EXFW9knTIPcCpDq
BEx5viFuT5oeg9uEr8UcREfzaqr/3u35sB2GyKJ51gKpe4GgyF5filCD/YvY3rYB
ellgX97mI84C
=Ndy+
-----END PGP SIGNATURE-----