Bug#1001038: marked as done (ITP: coq-hierarchy-builder -- build hierarchies of algebraic structures in Coq)
Your message dated Fri, 17 Dec 2021 19:00:09 +0000
with message-id <E1myISf-0009YW-Ba@fasolo.debian.org>
and subject line Bug#1001038: fixed in coq-hierarchy-builder 1.2.0-1
has caused the Debian Bug report #1001038,
regarding ITP: coq-hierarchy-builder -- build hierarchies of algebraic structures in Coq
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.)
--
1001038: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1001038
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
X-Debbugs-Cc: debian-devel@lists.debian.org
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-maint@lists.debian.org>
Severity: wishlist
* Package name : coq-hierarchy-builder
Version : 1.2.0
Upstream Author : Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi
* URL : https://github.com/math-comp/hierarchy-builder
* License : Expat
Programming Lang: OCaml
Description : build hierarchies of algebraic structures in Coq
This software provides high-level commands to build hierarchies of
algebraic
structures in the Coq system.
It will be a new dep for coming versions of mathcomp. I plan to
maintain it within the Debian OCaml Maintainers team.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: coq-hierarchy-builder
Source-Version: 1.2.0-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-hierarchy-builder, 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 1001038@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-hierarchy-builder 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: Fri, 03 Dec 2021 08:57:26 +0100
Source: coq-hierarchy-builder
Binary: coq-hierarchy-builder libhierarchy-builder-coq
Architecture: source amd64
Version: 1.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
coq-hierarchy-builder - build hierarchies of algebraic structures in Coq (tool)
libhierarchy-builder-coq - build hierarchies of algebraic structures in Coq (runtime files)
Closes: 1001038
Changes:
coq-hierarchy-builder (1.2.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1001038)
Checksums-Sha1:
ea41060debf1c20cf221cc4063bdbedad1030c41 2196 coq-hierarchy-builder_1.2.0-1.dsc
e84604616162b8b9172dbfc48dfec8efbf031241 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
64945f0c1e2fe36e02611036462c0d233f9cabc1 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
0724878c42cd9aae8c401c291b63747b11a02323 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
763a0928deee8987b4390d30f6c46c3b6450991e 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
bd2cf94ba9ac444f78e5e0f165e2392af07b6607 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
Checksums-Sha256:
df887d6a4b8ef3dfb0f78c3cf90f4770a6c9ca7f20916a42a70d7973828a6905 2196 coq-hierarchy-builder_1.2.0-1.dsc
ff0f1b432aa7b6643b61c6f7c70bd32c2afc703bc44b5580e6229f9749ef9fff 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
8bb9fd836170f7da04fff21269005d30e1c3216236f46c502096055a58c8ce6d 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
889ec18bc27e30a5cefa41973633b3527b4672a0b735a27f7364563437ea6b2f 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
4fa97c81e95d5eb2c7076b3b32e97fd4c101b3938f5e2a75b6fa917f6a0e5554 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
04bcae4e04477a2f8467a60a7355f80ac48b163cf0a9db50a69e49ee26353ed6 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
Files:
1309490467836f8e4b0d2ef535cd5b72 2196 ocaml optional coq-hierarchy-builder_1.2.0-1.dsc
4e3278f44232d92b1b26b261f314ead0 183352 ocaml optional coq-hierarchy-builder_1.2.0.orig.tar.gz
8028e4b5fd6985a3fa16b6ade89a792d 3452 ocaml optional coq-hierarchy-builder_1.2.0-1.debian.tar.xz
4bd14db93d3e0a4873934a3430c10086 7928 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
6295bce34ca29466dd7bd2e77cef1c0d 601564 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.deb
e9563ba14daabb9f94c1d6b933269e8f 214240 ocaml optional libhierarchy-builder-coq_1.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0M0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIVEQAISMIWM2JE+VEcXtIhyPMsvFLQmv/82k
mJrN/+9QJLxfESqBuijeAftZPpPZTJ038YdR0a4rzBy+7rABcDLD/SvB6DgkENXF
F03xrqB4BLCLJG8WIcjSi2pplsjJsOwvCaBewj8ueBnzphAIYNrqNkuaFz2KG0gJ
bZTDhDnE3M1JSWJ+AnpZiLu4oFVeuaPeew9xPxCIxZ9ERGms3NNUr+P5IVPpR9vJ
xJeeF4UG3Z5TFnnRxmoLDLsl6VCHr4Zzz0DLimMvZhiUvSG2Ap6DAoaRMorxA2TE
SXEwRBX6LCZXiVFf6NDHQIxEzP9+FPSbSGa3BhPH+TcQtny0GmsSwN5yOqxR+HHQ
ZFbdJyZVUDJj6BoQYxTmX30H25e3dpnk5Zrk9bQ2LfNw7Mk7OXzIvsXkzURb0jqk
Vpft3L/1Y/WbLWFuup/B5fB29Ir7je2GNScucoXUfQxBQukgn90RB2tD0DTQicvs
5KsUscHDsOrPdJsBmqUPou04jqS5pejOhOiPsjXI382+XFfTeunRD3vjfb3+skep
Lm0hx+BMeU4c4rgmrqkH13kpzF/lRWuTJkLnzhoRlRhiNINpqEzO1ydlPn/w4JQf
Q9ekPbcnJgw1j4/SxhdrMxRPvaSyS2YcifevQNoV7iexgy7OBXHzfOgAVQD9KgJ9
JWxclyI49nuw
=7wuq
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: