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

Bug#1002513: marked as done (ITP: ppx-import -- OCaml extension to import declarations)

Your message dated Sat, 12 Feb 2022 19:00:15 +0000
with message-id <E1nIxd1-000GRk-Bz@fasolo.debian.org>
and subject line Bug#1002513: fixed in ppx-import 1.8.0-1
has caused the Debian Bug report #1002513,
regarding ITP: ppx-import -- OCaml extension to import declarations
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.)


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

* Package name    : ppx-import
  Version         : 1.8.0
  Upstream Author : Peter Zotov
* URL             : https://github.com/ocaml-ppx/ppx_import
* License         : Expat
  Programming Lang: OCaml
  Description     : OCaml extension to import declarations
 This package provides a ppx rewriter to import declarations from
 interface files.

It's a dep for coq-serapi, which is a dep for alectryon, a collection
of tools to process coq snippets embedded in text documents.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: ppx-import
Source-Version: 1.8.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
ppx-import, 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 1002513@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 ppx-import 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 Dec 2021 16:24:41 +0100
Source: ppx-import
Binary: libppx-import-ocaml libppx-import-ocaml-dbgsym libppx-import-ocaml-dev libppx-import-ocaml-dev-dbgsym
Architecture: source amd64
Version: 1.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libppx-import-ocaml - OCaml extension to import declarations (runtime)
 libppx-import-ocaml-dev - OCaml extension to import declarations (development)
Closes: 1002513
Changes:
 ppx-import (1.8.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1002513)
Checksums-Sha1:
 9ea66aedd791cfdbd9f44f2c74a3ffbb25c260ec 2205 ppx-import_1.8.0-1.dsc
 d45914061f2dada4f3d548b0c4d8808b1b01f75d 12662 ppx-import_1.8.0.orig.tar.gz
 61adc7afffb13954d0d25989efb482a626a434ed 2024 ppx-import_1.8.0-1.debian.tar.xz
 034e52bc091679266e8044cf48e5632beb1460ba 7184 libppx-import-ocaml-dbgsym_1.8.0-1_amd64.deb
 4259cbd035f75c97dd274b9524bf1fc634546240 827856 libppx-import-ocaml-dev-dbgsym_1.8.0-1_amd64.deb
 43e1cd2524e0c2b6d81ac36318259acdd83ed706 2904480 libppx-import-ocaml-dev_1.8.0-1_amd64.deb
 fbb6acd9d106a94a991876e027f27c36b707bdd8 57856 libppx-import-ocaml_1.8.0-1_amd64.deb
 7ec39ddec58566800315628e352842526d8c0b70 8594 ppx-import_1.8.0-1_amd64.buildinfo
Checksums-Sha256:
 f166d1ecc50b00f45b1b9510d195c8461b84e5c89a6a1db846ef5fb468ad198a 2205 ppx-import_1.8.0-1.dsc
 fb015e433088060b43f599020a8fb6aa125c0e980e5e9ac034ce171558548f52 12662 ppx-import_1.8.0.orig.tar.gz
 2dd2963a8da4ddd6e9b6f5a34e95978ad106e4c73cd65a23937082c29e0234ca 2024 ppx-import_1.8.0-1.debian.tar.xz
 1be7837da3a663cd3997e8507ad7a31776259c966849778528fcb3b926b0bc8e 7184 libppx-import-ocaml-dbgsym_1.8.0-1_amd64.deb
 a78a4227a209dee4cfee33eb1c370ab2ab2176cbad57f2b6af5de0f049d5ff60 827856 libppx-import-ocaml-dev-dbgsym_1.8.0-1_amd64.deb
 1d69e13b6add440afe7f752b920210e6ba2f2b8047eb18ca880abfc9b58e6882 2904480 libppx-import-ocaml-dev_1.8.0-1_amd64.deb
 be89ddd7a91758594892bc5a9448d3084ae2fd0934bec985955788016acdc350 57856 libppx-import-ocaml_1.8.0-1_amd64.deb
 da28f7c39ef1d654c1a3e5a8afdc8c8f9f2ebe071f8397850cf79941c77bf678 8594 ppx-import_1.8.0-1_amd64.buildinfo
Files:
 66903d5efdeebf35320ac1d88f20b7b6 2205 ocaml optional ppx-import_1.8.0-1.dsc
 1204305bb1b19ad4134766cb795abe74 12662 ocaml optional ppx-import_1.8.0.orig.tar.gz
 3ddd7d3c03a9c6941e53a35f7812bf03 2024 ocaml optional ppx-import_1.8.0-1.debian.tar.xz
 f898880697c7c3cf0036960a87e39868 7184 debug optional libppx-import-ocaml-dbgsym_1.8.0-1_amd64.deb
 9fac07698b5fd397bc7af70d8397b762 827856 debug optional libppx-import-ocaml-dev-dbgsym_1.8.0-1_amd64.deb
 c9932bd034054c53aa35bd53add3361b 2904480 ocaml optional libppx-import-ocaml-dev_1.8.0-1_amd64.deb
 a5ff48d29dc77c1cc2772b149bdde585 57856 ocaml optional libppx-import-ocaml_1.8.0-1_amd64.deb
 0812a77a223450868cf2ab3d29811c9f 8594 ocaml optional ppx-import_1.8.0-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHFtrgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRv0YQAJBVzW2OqocymP9Dr3SAUnxHdvYcic8P
X2KLdhf0d3pemej3qS2dYl3abyCaMVkj6O/kqo/X5Ax24b+kcaYHqiIIINlxj22F
Tc7SsCqYRC1u6XqmSTFuP3DRQ0JCp/gAiGXOTEuJsSXNCiBmzXTggfju8IOjpytO
rvseAVM5s4erLxd1KkggZbyziWVJ5hh0OwYKaNt4DZ4VWlupL7XHgErk74R//x0D
LOHwNNTB2ziyWHPZ29aR31nemx3TP+KGrejbO9yG4e+PDV+iitrOXqybmBdphynS
dyCsPvQQNe3msVZGR2UR2qGPrbaf/0pP/LcYRwJpzWD3H45AWAhr+Ru0b/6bp7C4
cJN8axMSQfRnSZGu/UslPKPUe4fdIE9gdcXBlX2JoautmxdibCmiaQH1QHMIY1jU
x3mpRRAMOrAx+O9FFnoiPOFHwjQudOv+Rv7zIpvilAQ0Pd1usvdRCi/QBtTX0yMe
jAzkZtA4lGKxi1ptr9IQajjZzITBm8WijCqjiTQKUKihGwaFovZtGdZrQCR1pebA
KI8BTyCz9E0kQkaOvQmeilsJYjuXUcg5CY2Von2mq28CTzfSv8OI4A/Nmwi04ZHA
KZ8Jxh5ZyDbqvr9mx03oA/ZHccl4csVRdUT8i4GD56hC3TVHwIVWvetFfSpXpC73
TR34AFho3yfG
=ZGZg
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: