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