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

Bug#1014955: marked as done (ITP: coq-corn -- Coq Constructive Repository at Nijmegen)

Your message dated Mon, 18 Jul 2022 15:02:00 +0000
with message-id <E1oDSG0-0000Os-FT@fasolo.debian.org>
and subject line Bug#1014955: fixed in coq-corn 8.13.0-1
has caused the Debian Bug report #1014955,
regarding ITP: coq-corn -- Coq Constructive Repository at Nijmegen
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.)


-- 
1014955: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014955
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-corn
  Version         : 8.13.0
  Upstream Author : Bas Spitters (maintainer)
* URL             : https://github.com/coq-community/corn
* License         : GPL-2, GPL-2+ and Expat
  Programming Lang: Coq
  Description     : Coq Constructive Repository at Nijmegen
 This library provides different theories for Coq:
  - an algebraic hierarchy with an axiomatic formalization
 of the most common algebraic structures, like setoids,
 monoids, groups, rings, fields, ordered fields, rings of
 polynomials and real and complex numbers;
  - a construction of the real numbers satisfying the above
 axiomatic description;
  - a proof of the fundamental theorem of algebra;
  - a collection of elementary results on real analysis
  including continuity, differentiability, integration,
  Taylor's theorems and the fundamental theorem of calculus;
  - tools for exact real computations like real numbers,
  functions, integrals, graph of functions and differential
  equations.
 .
 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-corn
Source-Version: 8.13.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-corn, 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 1014955@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-corn 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, 15 Jul 2022 12:04:14 +0200
Source: coq-corn
Binary: libcoq-corn
Architecture: source amd64
Version: 8.13.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-corn - Coq Constructive Repository at Nijmegen
Closes: 1014955
Changes:
 coq-corn (8.13.0-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1014955)
Checksums-Sha1:
 d5bdef4fe69eb357960b2d114b59dc684235f546 2087 coq-corn_8.13.0-1.dsc
 5bdf437590ef5e9fb2ffab8ffdf12f0a1bda8ee3 1318281 coq-corn_8.13.0.orig.tar.gz
 72d8e51649ef341909b0dc3c6f38ac515fba98f7 3776 coq-corn_8.13.0-1.debian.tar.xz
 b25f52038d2887d0d91d404c6ddb3af97c65c047 7204 coq-corn_8.13.0-1_amd64.buildinfo
 74582322d8d830112341e655e5f8494925e71348 11268868 libcoq-corn_8.13.0-1_amd64.deb
Checksums-Sha256:
 c74fe4d7bb6a36b958d0425df4dc25eaab5adedd759350da15e64459955fa226 2087 coq-corn_8.13.0-1.dsc
 9550510d8b105d54c43003f45662c7f24fa02906fa96a2df46a324a9ea5e710a 1318281 coq-corn_8.13.0.orig.tar.gz
 41b25c9404c9f90dba75bcbdcbcef2cd6ee4499aa58ea2339c4d3f098aa5f554 3776 coq-corn_8.13.0-1.debian.tar.xz
 3bdb365388810ba125bd55148442c8b8795ab375f5b7aed6fe8b341b56faa72a 7204 coq-corn_8.13.0-1_amd64.buildinfo
 7b0b7b4b98674d54a85351c87431ca675415d0e366a6e9e8e9d2021ff80876fb 11268868 libcoq-corn_8.13.0-1_amd64.deb
Files:
 99525520000e4854ae423d778b4f7178 2087 ocaml optional coq-corn_8.13.0-1.dsc
 f1ccab4e4c264818e5f6b790967e4efc 1318281 ocaml optional coq-corn_8.13.0.orig.tar.gz
 b6c7dcfd96eaedf07ee7d156ac889937 3776 ocaml optional coq-corn_8.13.0-1.debian.tar.xz
 58b762501c87d5735449b6fdcdcf3c5c 7204 ocaml optional coq-corn_8.13.0-1_amd64.buildinfo
 e45c2659298633befc1c940322cd15d9 11268868 ocaml optional libcoq-corn_8.13.0-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRQaISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrRwP/iilHGqyrGx6G+hxC7PonSg7KnKfNAr7
psR4B+SzYE0lplJraJry84crD7vVcZKCNd8xaDMtGoV1IGRgzZtowJB0qRbJOelm
t8I/Ni08yKMf/BKCkRLdr0fsITV4SpeXynerDMt4r1zrI1YYuo9nJgb+AgUhNus5
/IbJ9NZiRy8kGS8gHMk0JdUSpGg27MTfha3isHJ7yZqXA+xU35JrJGOE6Xo2QksM
GYRfYzztXHFW+r+L+z/6ff32/Mag/wC9/PsuhJZ0UvI4LJ3euc1dusxNV8ioGb38
1EPoq5tYLdD9ofugF3etz/x9tMx+JMxPs3dMqv6CJdCLr2lBRFFvtmB+YEmmLW9d
dA0lcsmjAMS+NyKdOvtFbBRUteDGZewXqKiqhavY7BlHGLSzKgtdAmmWIoK3YnUK
k9ilzFJlpCkLdg1kXt3TtsUYniHZSqB/f/BF36FpIaDJLkOAayVn35il2jkedrDD
BawQN25MUdt7AcEm4TUXUZcvP3ZLIoZKdrHVu30FypvyHU9+G4cByG837z16NDiK
dd+bkS3rQmL15cwcwozJQHPogeuSJAQ0RPp4N8KJtQ8qZwUsh5yuxma6bP0oDojr
9WEgiHT7dCaDAvHbVg+CqevAUAlkP3HrKWefAGu7Yu3qNud47JXOGEB88vLtTxvx
FqcQQlC4NZXV
=94Oa
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: