1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-dpdgraph_1.0+8.15-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Fri Jul 1 21:20:01 2022
    Accepted:

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


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)