[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1013372: marked as done (ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects)

Your message dated Fri, 01 Jul 2022 19:00:09 +0000
with message-id <E1o7Ls9-000AB0-Ch@fasolo.debian.org>
and subject line Bug#1013372: fixed in coq-dpdgraph 1.0+8.15-1
has caused the Debian Bug report #1013372,
regarding ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1013372: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013372
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org

* Package name    : coq-dpdgraph
  Version         : 1.0+8.15
  Upstream Author : A.Pacalet, Y.Bertot, O.Pons
* URL             : https://github.com/coq-community/coq-dpdgraph
* License         : LGPL-2.1
  Programming Lang: OCaml
  Description     : Coq plugin to extract dependencies between Coq objects
 This package provides a plugin for Coq to extract dependencies
 between Coq objects and produce files with dependency information.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team along with the
rest of the Coq-related packages.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: coq-dpdgraph
Source-Version: 1.0+8.15-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-dpdgraph, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1013372@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-dpdgraph package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


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

--- End Message ---
Reply to: