Bug#1015010: marked as done (ITP: coq-deriving -- deriving MathComp classes from inductive types)
Your message dated Mon, 18 Jul 2022 16:00:09 +0000
with message-id <E1oDTAH-000BDc-6l@fasolo.debian.org>
and subject line Bug#1015010: fixed in coq-deriving 0.1.0-1
has caused the Debian Bug report #1015010,
regarding ITP: coq-deriving -- deriving MathComp classes from inductive types
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.)
--
1015010: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015010
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-deriving
Version : 0.1.0
Upstream Author : Arthur Azevedo de Amorim
* URL : https://github.com/arthuraa/deriving
* License : Expat
Programming Lang: Coq
Description : deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
.
MathComp is a mathematical library for Coq.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain this package within the Debian OCaml Maintainers team, along
with the rest of the Coq-related packages.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-deriving
Source-Version: 0.1.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-deriving, 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 1015010@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-deriving 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: Sat, 16 Jul 2022 09:42:20 +0200
Source: coq-deriving
Binary: libcoq-deriving
Architecture: source amd64
Version: 0.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-deriving - deriving MathComp classes from inductive types
Closes: 1015010
Changes:
coq-deriving (0.1.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1015010)
Checksums-Sha1:
82de0e05ccd5cec1952dd33bc8439ec42cbc3796 2108 coq-deriving_0.1.0-1.dsc
561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
32d1521cfca1bb568db75259db333c3cbd485f6b 1908 coq-deriving_0.1.0-1.debian.tar.xz
5f0ce50f70708543a83f2a7a7923d8626538b27f 7160 coq-deriving_0.1.0-1_amd64.buildinfo
cb4ecf7f9655d1f3c9d76b9cc8d6186cf2795a53 428560 libcoq-deriving_0.1.0-1_amd64.deb
Checksums-Sha256:
eb422d50991740819ef8e53772321bf17824dcdfbb43d82af88faeb62fa46b74 2108 coq-deriving_0.1.0-1.dsc
ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
f61b8b764a9d6c78ec6ca8b469f87f543f9a7dcfd212a8da8bcbafb2cca19da0 1908 coq-deriving_0.1.0-1.debian.tar.xz
ba1c5c13181881a477f62a792793f6657480d3fb3dc324f027105f2fe01c5ba6 7160 coq-deriving_0.1.0-1_amd64.buildinfo
86147944dc555359b315cb554d915b9847d95923ed9635db4984a9bac9e57bbc 428560 libcoq-deriving_0.1.0-1_amd64.deb
Files:
bfce417f92c4d8f01d092a178c556638 2108 ocaml optional coq-deriving_0.1.0-1.dsc
22562ac4efb223977bec66929d22e58a 29290 ocaml optional coq-deriving_0.1.0.orig.tar.gz
b74c3317818a630fb1ac0e8c4ad1b862 1908 ocaml optional coq-deriving_0.1.0-1.debian.tar.xz
37b440c56059ab4c82d50d0ce6ea1181 7160 ocaml optional coq-deriving_0.1.0-1_amd64.buildinfo
01349bf1a1595f79d46b0c813d1ee47c 428560 ocaml optional libcoq-deriving_0.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSbIgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJLEQAJcsCQqQTgjqbRkYFAzD0Ju13wnb1Z47
aeaHQdb2Sas6dK7hqeFSdPcf5iBqV47+xckHGEIQp6LVxDdxI4gj1CjMbMuQDJL0
XgQzTRNuZbEB40jX/w7LoMcijLHTFkjQ2Gl1Et9I6JSJbbyK6WOBRKmmSdjrVshn
PnrXhsoYCRnEjOroOtpBdHliJeY/nwjGrEliw8vp3VTRlhp7vjG1209pfCY22jRJ
Xq/C2hSXhLuRL4ZSkQYxnXPHQvpSVM3t9uDEf+QyQco92LjDxZGowd7QrWPo0ha5
d4q2hPb0RYSQO3QDpH5JlJE5VLbHqbWzk5MPeXfVwUdwNH5XaJyxssg7C737p61N
fMD+fI7mUxlFaXZBGyh/KeXZ2p+TSQFp71i9MjYCr3QrWkK7NUeGhJeKy1WTH68L
4skl3voFl1RwOp+YpXeXzFu7CbDZUncfhI/BJRagxfFszI8kfJ6cohgI/M8dKjIL
pxR/Jj70BMob93/Qln1vds6k5ukas4wIjHOdkSOxYQ4EbzMHokbwLw6LMfHzIPUD
b230Q7lLDdhgLhiYVL21eh11MjqhcvRZN33Db0Tju6Nf27kfO+c1lNkzeG6Y0DvN
dJnYR90Rvv0Wa5bM5ehCVtylktZOGrAcq12E9qAYOabeDoTj/xrGIRIAaULNeiVc
PKPx8eRlgSyb
=bn4M
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: