coqeal_1.1.1-2_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: