-----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-----
