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

Bug#1013965: marked as done (ITP: coqeal -- algebra and data structure algorithms for Coq)

Your message dated Wed, 06 Jul 2022 22:02:25 +0000
with message-id <E1o9D6H-0002yb-5R@fasolo.debian.org>
and subject line Bug#1013965: fixed in coqeal 1.1.0-1
has caused the Debian Bug report #1013965,
regarding ITP: coqeal -- algebra and data structure algorithms for 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.)


-- 
1013965: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013965
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    : coqeal
  Version         : 1.1.0
  Upstream Author : Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg,
Vincent Siles
* URL             : https://github.com/coq-community/coqeal
* License         : Expat
  Programming Lang: Coq
  Description     : algebra and data structure algorithms for Coq
 This library provides developments in algebra (including
 normal forms of matrices), optimized algorithms on
 MathComp data structures, and a data representation change
 framework.
 .
 Coq is a proof assistant for higher-order logic, and MathComp
 is a large set of mathematical theories for Coq.

I plan to maintain this package within the Debian OCaml Maintainers team along
with the other Coq-related packages.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: coqeal
Source-Version: 1.1.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coqeal, 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 1013965@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 coqeal 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: Tue, 28 Jun 2022 09:23:23 +0200
Source: coqeal
Binary: libcoq-coqeal
Architecture: source amd64
Version: 1.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-coqeal - algebra and data structure algorithms for Coq
Closes: 1013965
Changes:
 coqeal (1.1.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1013965)
Checksums-Sha1:
 a2af67c0c26fc5319670e210611b66b6705d6d4e 2153 coqeal_1.1.0-1.dsc
 bc0ff3329fbb594b0bb5aac417ce1f5bcb9ec1a3 218807 coqeal_1.1.0.orig.tar.gz
 221b5907984b7750f7d85a704a177263790e4109 2068 coqeal_1.1.0-1.debian.tar.xz
 0b0386bd9b1311122ec65a5268b641b6b21b25aa 7597 coqeal_1.1.0-1_amd64.buildinfo
 bc2b3f8c12464f32ebb0cf95176001330fd65676 4636804 libcoq-coqeal_1.1.0-1_amd64.deb
Checksums-Sha256:
 cec2d319df4affddb434e5a3fa55ca1cfa07bbe1fd48fb62059b6657209eafa8 2153 coqeal_1.1.0-1.dsc
 df9e00e3ba19592c867aecb134e5b12d5f998eb726debdb0dc2e83f588f7e4db 218807 coqeal_1.1.0.orig.tar.gz
 fefcea1baa4240cfe44adb8530b576c11ad67689a17542e11292bf7360142877 2068 coqeal_1.1.0-1.debian.tar.xz
 3fba917595dc032c86749aa8ac71d12e01a879ec9326425e1cfea8dcd44f02be 7597 coqeal_1.1.0-1_amd64.buildinfo
 a4bd5acd7bd2ba9348cb92b6a51ba489d6a3eca3e486dc603f60151d6a3962b0 4636804 libcoq-coqeal_1.1.0-1_amd64.deb
Files:
 700a925a2dbd20d4e3a6f7674089d8f1 2153 ocaml optional coqeal_1.1.0-1.dsc
 4a49ca52e0380aef250b4143a5215357 218807 ocaml optional coqeal_1.1.0.orig.tar.gz
 57719e45217073499d0fb9fe0019010d 2068 ocaml optional coqeal_1.1.0-1.debian.tar.xz
 09fa222d54e4e77ccc540ccb7473550b 7597 ocaml optional coqeal_1.1.0-1_amd64.buildinfo
 ad10388ed8280b56bc8dc2966d263e56 4636804 ocaml optional libcoq-coqeal_1.1.0-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6rNISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0IYQAJg008NtIlWFCiPbiY86+9IkkzeC5TIK
l6mXGProq1zb5RPOSHOzEQoJJ3Ix4Ameg2zfp8W8h5ufxMP7OZq42SvP9wI84QRG
bOk2ddN2xxVL4g4byWJty6dCA24/8eP5Q5A48qUdfulN3a7I4ubnBVE8nCqWtF5S
ooxQl/BpEZGon2crcbO6IV7GhC9/5+UxP2PO+kPFKDO06zpcwDNHnzXH4sWapSdM
mDA2yXe/5N2bpCo85WSid2JZqT6KKFRzbREtMdPniqGouKyjXCe48riHRlEhm6ME
+kuNCuxJjFK+AHVMXF07zO9A+6xgWTwvE/e35wHNwWqHtKalSCFjy4C8lHfdRKQC
dIP6AGQC6WCM6Lx6+g47AZy9LVrAYwg2lv8RT50VhCPF0GLFdUO6ftQluoVx+PLs
4R/K8qXpybPXtlt6mXpTffi9Hnj29LQBZiGFvCUNrSjWnFSgAFNiCDAXha0+cygN
SrbV6cgrVGEPUg/MmcyrMTRkQN/MKNlQEC4YE/Fn3fUXFzD6z/9cAKCQwCl0fcvv
4K5jBILKyhMi4fFVTJHYK4Fo+BK0OLR7YTVkTodoGP//rb7hlDlkxpreYzXb+ieo
6Q7BmQ39R/O0JQ2GrzI4i++19Z4rqY9fZMXCMD0Iq9UR0usXYCA2aUuVfJxYiMTi
gbjOBM8WwNgn
=OIK3
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: