Accepted coqeal 1.1.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqeal 1.1.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Sep 2022 14:34:56 +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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=0KqbjaM4SK2GJQRczTEvTcYtLpHRU2pqLVRm+Svbsgc=; b=BjN5lE2ImVa9dAqC885fvyY1ot gZNxm12MPBJ8zy9ooJ+JgZEs6btRtuZSNXvENMET2kfHeF8zuwWiOq1jRMxCAFkW4QfdF32OkyrzQ vVENb/PiHyNiTx9IXeeD/g1Bo0Uqd6rqiZeTcEhEKcXs5lvZ/VJkWCagwJbaSPW4RJX+EGF1giDt1 o0+GZKPE64+/xvvhLrMN/updHnVzn845aPXIFpXrstOZE7n5MUTQxY/qCbDYuaR+AQNpgDR6jBhvR m8dDxw2vf3SF4q2ZPtpUW+mwMkUe5b5pBcs0aDGHzfOt+A5Yyd7+Z7DyT/XwMuFDTuBh73cyVe0Yv mST8Op9g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oY704-005dLG-GV@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Sep 2022 16:13:40 +0200
Source: coqeal
Architecture: source
Version: 1.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coqeal (1.1.1-2) unstable; urgency=medium
.
* Fix dh-coq issue.
Checksums-Sha1:
84986ec108317a144eb2ba11dc11c999e1eea8f5 2153 coqeal_1.1.1-2.dsc
460a27738ff3201166064c9c01a2b1c69a5382f0 2104 coqeal_1.1.1-2.debian.tar.xz
989453e1824c568f14ae5f65a8e3a4a7fb0d6d70 7376 coqeal_1.1.1-2_source.buildinfo
Checksums-Sha256:
ac9df5061874f03ca46fbd0a34081aa2eec5a15dada2ef55ed538a3314689a31 2153 coqeal_1.1.1-2.dsc
f713fe8bdc72b7a89439a02c92828f7d7cd672f3547b52abed1e85e8cd91918f 2104 coqeal_1.1.1-2.debian.tar.xz
822b3a73a9f8b3168735c77a599d0c7d5ae1479a99e64e25fedd0f23d5cd68ed 7376 coqeal_1.1.1-2_source.buildinfo
Files:
8d2229fb51b48caacec6b8c13994e9df 2153 ocaml optional coqeal_1.1.1-2.dsc
b42b21b40f4a7fc0d5c930112da23b2f 2104 ocaml optional coqeal_1.1.1-2.debian.tar.xz
bd121d474544e96afa323ecd86fcf1c4 7376 ocaml optional coqeal_1.1.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkD8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnH4P/iKzRNGQcbgivav66APRvC8Wj6PSWQqs
rWEOz2oecfPWpem27iOSWqd56PpohXQkqKX/F/2lX1ZGr6hb1kiKRGMZkEgmQGkF
bxAFgcBdXX/Lu4hRn9db/KvIKt6x+OuOUF08cxo/LIZj3+DUHRhf2e9e6tabClas
UxbcOKICIIlLOGw5dzG0VUDrtUev5R9BXmzSPZ0OlzJjewbLGIl5PHydcM1zkP7t
QLeaYcFBDT4sFC0Ug8qDOTxsulnzMqbU1SFcABZ4OCsZuu50qkhKBzp1VYRK0ASM
cEjm2BVMco2buWkUUSrDcZiXCadg/fDXgVxUtCJYUud3XZsl0L+Qirkt3TTJHmrS
js22OR9fs+NL2wvLcrRZ18NxR0xsZKYLH9dAV5DkMatt53bUoa0E2SILcGiiNvt4
XhyFiw11Nh0EroAAdTrr2JbCAvNnNe9F9GbbZlsJY9L1PxNROXiiJF8ouAC2YMVP
N6j+SmItqDOlqIIpJG2V1DaOGT4C1qgzbXNDZK8azTMJY9h1/C+sw7adBSf4x3JC
WY5XiE8YZXstnbaIAssaMjQ72/UkuyRadQSrGrYgBrTGnV+ontZr4JeDzF9rVVyL
rR5muJB0e0tCNMLIAD1bqOf5nlt7eoqBQ8vILYaVYt9DD4pTZE7rJ/w2RPXuiXST
MHH+XSy8gom6
=/2TP
-----END PGP SIGNATURE-----