-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jun 2022 08:37:25 +0200 Source: coq-dpdgraph Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-ocaml libcoq-dpdgraph-ocaml-dbgsym libcoq-dpdgraph-ocaml-dev Architecture: source amd64 Version: 1.0+8.15-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: coq-dpdgraph-tools - Coq plugin to extract dependencies between Coq objects (tools) libcoq-dpdgraph - Coq plugin to extract dependencies between Coq objects libcoq-dpdgraph-ocaml - Coq plugin to extract dependencies between Coq objects (runtime) libcoq-dpdgraph-ocaml-dev - Coq plugin to extract dependencies between Coq objects (devel) Closes: 1013372 Changes: coq-dpdgraph (1.0+8.15-1) unstable; urgency=medium . * Initial release. (Closes: #1013372) Checksums-Sha1: 97027aabd34943c3a7e70fef5883b5fa8f755753 2359 coq-dpdgraph_1.0+8.15-1.dsc e28c0ba5f6523cdb6b0acb77632ebd6f27db7c0d 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz 27643bc01dd0c513257884eb12e9c50ed8380ac8 2832 coq-dpdgraph_1.0+8.15-1.debian.tar.xz 30273ab81315aa1a7fda965bfaece061820dfb23 954088 coq-dpdgraph-tools_1.0+8.15-1_amd64.deb d414354a25a22e90820cf0ea1ff73925a48b787a 8465 coq-dpdgraph_1.0+8.15-1_amd64.buildinfo d56dd91701b13549a5b3e881103d6479a96c6c85 4596 libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-1_amd64.deb 41b6f221e965ed85704d8aa2ef03a6c6e23dde9f 17292 libcoq-dpdgraph-ocaml-dev_1.0+8.15-1_amd64.deb f674506db97c2eb045d843006134f6f4d6cf8d95 22276 libcoq-dpdgraph-ocaml_1.0+8.15-1_amd64.deb 051cea212cbedd9f3a81f83878d9d3bdeed682f1 4312 libcoq-dpdgraph_1.0+8.15-1_amd64.deb Checksums-Sha256: 95f09a5499e5b187431603f20d9fd1bb85e22db0dc53e58318d13687edce6cec 2359 coq-dpdgraph_1.0+8.15-1.dsc 062f681ac9adb92b9c47db37d96b2136879ecee1794cafb70b8047a1775c49d8 64224 coq-dpdgraph_1.0+8.15.orig.tar.gz 5ea9ecd273e553a08212b903e38e48c1876317c997e43bbf6547b25443a22cb6 2832 coq-dpdgraph_1.0+8.15-1.debian.tar.xz 62b6716a384c15c4a32fc9533886e1ff4586fb88b1b3170bf9283e15c055e3c5 954088 coq-dpdgraph-tools_1.0+8.15-1_amd64.deb 22f29099d43c28e23b97f126bb48e82ac87f019987f69669020b17567bd62205 8465 coq-dpdgraph_1.0+8.15-1_amd64.buildinfo 554a9aad7b686f02b20d8609fe73c458a320a630104e6928250c89aee27abfb6 4596 libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-1_amd64.deb eb2c39ba64fedb7cc4718e1d862aafdfa3151dea57e1ad45c0bd7aa99e007bf1 17292 libcoq-dpdgraph-ocaml-dev_1.0+8.15-1_amd64.deb 4cd3e31ad9add69bcc58afd8b2ea88ef9446d503c86b1672fbfafe2b401975e6 22276 libcoq-dpdgraph-ocaml_1.0+8.15-1_amd64.deb cd915089ad0c1baf6cfe01a2ae80344e393d6c00b2008856ceb22ec939cd279a 4312 libcoq-dpdgraph_1.0+8.15-1_amd64.deb Files: 9354d869d53ca8bc1cf76ddc22330422 2359 ocaml optional coq-dpdgraph_1.0+8.15-1.dsc 80749f508a93610d0a88d81bd7efd99e 64224 ocaml optional coq-dpdgraph_1.0+8.15.orig.tar.gz 93d6cb52b1640b24800707df6de318e8 2832 ocaml optional coq-dpdgraph_1.0+8.15-1.debian.tar.xz ffd0033fc044931dcc320c8bf8916639 954088 ocaml optional coq-dpdgraph-tools_1.0+8.15-1_amd64.deb 1f49c61e64b19cede911a9a135030e84 8465 ocaml optional coq-dpdgraph_1.0+8.15-1_amd64.buildinfo 8972fef531ee0fb65d4de46e3b448d4c 4596 debug optional libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-1_amd64.deb be753420d1253c3fcccd2b2a4eda839f 17292 ocaml optional libcoq-dpdgraph-ocaml-dev_1.0+8.15-1_amd64.deb 610a0021345f1f6c3999ea2fdd9961bc 22276 ocaml optional libcoq-dpdgraph-ocaml_1.0+8.15-1_amd64.deb 34dd77d7964a599880cf3593802baa53 4312 ocaml optional libcoq-dpdgraph_1.0+8.15-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK0ClASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR7XMP/0KnS/mSF6ni4zo9yUOT3LxODeMQUqsT l7EBn1nNMN6SReyovvywwpy8fWGAhatxOjx7DfYs9IM15khQWQdqmTVt7v+VjAoa TlcZPssowNaR1KbEQL111qL0wXuumQg2jd2CSjosUq77KyZ628r1qmusVu5k0jK+ jexSP6PpcRnRRCv/fJ4EqpP3QtK47KuKsL/QM43BdHsgmqpG7OWphIU8xAkeoWcT NfenOQM5W6gwHOIjgOqnzLs7a4Qt5P+tH49SoP0Z6QI6CsUwZrh2MQuAnHAQw8bt 69pyu6i8iHV1od1Q/iM9HFfGO3VxkFG9rrqVtQBd5AzXNynkT/EMGkbqW67Tcmgn cvUZQFywpjopd+ECBpzZTfpa2k1P952woR2E4WGNmzMac7xGiaax6OPME/dE5Pyu k3Tsm9jt3ciu4JIdyOw7KjaB8TtxQG/4zqy4SCVsu/FqXTTBxkA5QDQkL/LTFtZf tmeMvzEeCCZioBZBE0Xup67ZgEgkNakF7Wk0ogBsEwMGPFZcRianPTtw1iJkDk3/ X6NLW3vUWuBpaUzXmY0MruZmG7yZInsuXo21hz3SY0d7vEYZdd5xoWlWzNBzzdMJ 65xxoJlrgoNaMjlc5pzNtxtwqBM3JWX3BM8fvaBaqnWEp8YfuQxrHYwK4AL773Jn wP8kftutqbvH =FywV -----END PGP SIGNATURE-----
