dh-coq_0.5_source.changes ACCEPTED into unstable
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 18 Oct 2022 06:52:11 +0200
Source: dh-coq
Architecture: source
Version: 0.5
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.5) unstable; urgency=medium
.
* Add dep on python3 for the d-debian-coq-tools.
Checksums-Sha1:
42ebdf90e59322b52fcb6007524ff47335f076c3 1651 dh-coq_0.5.dsc
d31a67cdaf22b0969d7325df72de019f2a3ae5a8 7540 dh-coq_0.5.tar.xz
0ee0ff9c6edbe28d3a073aa2a942e088bad7043f 6383 dh-coq_0.5_source.buildinfo
Checksums-Sha256:
15fc6e957ca840fe78a161bd125fa12f56a104a5e447ef93f59a256b72766024 1651 dh-coq_0.5.dsc
c1299f565a91f17c2bbfbc372ac88424b7d309fbae94de966da1dce989ebcf88 7540 dh-coq_0.5.tar.xz
2bed4721e7b22c1245f0b505565f79775c0e34538ab5b521cf60e336e9e6748e 6383 dh-coq_0.5_source.buildinfo
Files:
85194dee3bdec1bb9e95b78074f5e02b 1651 ocaml optional dh-coq_0.5.dsc
ea81f75e3e536df413d4dd6c2fed44df 7540 ocaml optional dh-coq_0.5.tar.xz
3c8c404624a3405337eec98cb308951d 6383 ocaml optional dh-coq_0.5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNOMRsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRix4P/1w/hbbUJn5tz+2HHOYquvl1xrrTiq3A
DTmi3QOwk5kD9j74A4KZZr6D7mbI5LidZIV0OUWBr+FPbXfeXMGA/xx3qIaPvQjt
E0kjCHxpYaY7uFulfGS0l0kKk/ZcRxaxUYd/pqgeV+/dOUhPiE7/1xkgaQv0NREZ
9j5/nRRMieRDlglMwbI5I2IHXSIj4BqzbCI6tgIx2jrfjVqhXRaPtBRP3b7VoqUx
0n8vbosDzQAVJ3XX9zf59GAJDclzRtEpjmpG9Al5mx9nofO6HWZFVqm00C0XPCt1
C2qquxJxsww+4PXE14X7Lz0aB5BguP31q9HjK20WvI84CHLHF4wprvqZQ1gx1Kp5
BFoY6wduITY0QXAY8q5jQr0Uh0ZbWIKFB7XAALbJ2A3y07T7T9EIzx6+Cl3Pqj7e
u6FKHUXRW9WhCsRsUHk4CTDEp9f+mqZh2YZM6jGveXUgJ1rrBcL0uJeZ+Ekn/8iu
hC/M6rgklTbQSrU7EnOfOGNf8Fg6mZNf3rj0U0hAFESAxlLTJcc0+qo/urgXGqNE
E57suG6YDjxn7oleLTXEwgBk3yBg4x5rFXYu8jhXtaNe3tWss8hPVJtXJZAzx94L
BDWacRQ6ighffCsjBEVPFhJUf+FNjYz+gnmaLipqhTOKZqm4IDJiSrnbxb8ZGltU
DpAd5IxXGzew
=YGbi
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
Reply to: