Back to coq-dpdgraph PTS page

Accepted coq-dpdgraph 1.0+8.15-1 (source amd64) into unstable, unstable



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