[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

dh-coq_0.3_source.changes ACCEPTED into unstable




Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 15 Jun 2022 10:16:08 +0200
Source: dh-coq
Architecture: source
Version: 0.3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 dh-coq (0.3) unstable; urgency=medium
 .
   * Mark the package as Multi-Arch: foreign following hinter.
   * More robust parsing of the b-deps.
Checksums-Sha1:
 5daad029e0e705b70210b279c98fd09125ebc6da 1587 dh-coq_0.3.dsc
 74e9a233de52cba176afc86194e26999abf52e01 3832 dh-coq_0.3.tar.xz
 67bb3ed3164977746f333944085ce37167f05146 5615 dh-coq_0.3_source.buildinfo
Checksums-Sha256:
 a148152239d7d7fc89932e3991e4fea6a4c153f36681d4d761700e58231e00f3 1587 dh-coq_0.3.dsc
 523debf6a81e864fa4687f01c6867a09191425b5618c26b2d03cc6edcd0377ae 3832 dh-coq_0.3.tar.xz
 63efabdec048349290cb3d26585a519c4ee58226009ceefcb4c68f0b4457d03a 5615 dh-coq_0.3_source.buildinfo
Files:
 8842325ec51dff8cf8adba537f8848ea 1587 ocaml optional dh-coq_0.3.dsc
 33d52f87d57ce0f3891c6960f049b47a 3832 ocaml optional dh-coq_0.3.tar.xz
 6f5a0e726b728e52c70cecca31bb0d02 5615 ocaml optional dh-coq_0.3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplV8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7L4QAIvdzn5RE6tCG0LK/g3wWtJ8zF+nQVXF
d77ygJpZVlE8lbVRQnhnAAHv8Xdp+h9qxla7oRH04ZhaoO/TbRpQFcEKfbyQnpjr
dL/47rw0RP/9LUkcJaHjLC9m9u+Np/vlZSBBoNGzNegXC5UYCA+UWn01C8IwROVJ
V6nLTyfFtaa1kHBK+dm3ESrU4VsgRH4w7DT2iuQDs8Nuv6W1Y7pF+Z6Y/6FlfTWQ
iG6YGEq+uogfreLKcgJQ6Zhu1BSH9ebGm8qmz8JULnCNhhrgJRBvEoKEtwG0JDqg
arP3MzM0lxVsv/Yv5qgb4GJExtASEfQUqnPbSHz+0bKGyzYVJ3Wwjj49X2GpY82v
UGx03m7eWSNGPBmIFuwGzJUDI6hW57+hgOtfREOep6yEeWHHAQAqI4GAzDNGCBbB
sJkt2iEtIyIycsFPO68eCNR+lb8FpqHHUjpRUG1fNTIkXq0e7i+PYKUIX5NjgEYt
Epfdv1VhKvFYnd+offxN4PrqrJ0XBjkQLGChQ9IA0S8iHmrV8F5+SdDPzPj+K6eB
aiSstRJU6ptRZEmG4N9rdUXpzL3U+be3TbH7o1cqUQaafaDZKPXWW17vFMjN0Lcs
dRY1lCxQwYjkKoxCEWtsuLd99x946Jl7BgYtj33k5G1N0kFcM2EAGa2fDRS39PN/
gqxDE/vPyw9x
=E78w
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.


Reply to: