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

Bug#1013963: marked as done (ITP: coq-ext-lib -- Collection of theories and plugins for Coq)

Your message dated Wed, 06 Jul 2022 22:02:24 +0000
with message-id <E1o9D6G-0002yF-RI@fasolo.debian.org>
and subject line Bug#1013963: fixed in coq-ext-lib 0.11.6-1
has caused the Debian Bug report #1013963,
regarding ITP: coq-ext-lib -- Collection of theories and plugins 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.)


-- 
1013963: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1013963
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-ext-lib
  Version         : 0.11.6
  Upstream Author : Gregory M. Malecha
* URL             : https://github.com/coq-community/coq-ext-lib
* License         : BSD-2-clause
  Programming Lang: Coq
  Description     : Collection of theories and plugins for Coq
 This package provides a collection of theories and plugins
 that may be useful in other Coq developments.
 .
 Coq is a proof assistant for higher-order logic.


I plan to maintain this package within the Debian OCaml Team along with the
rest of the Coq-related packages.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: coq-ext-lib
Source-Version: 0.11.6-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-ext-lib, 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 1013963@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-ext-lib 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 08:08:54 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: source amd64
Version: 0.11.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-ext-lib - Collection of theories and plugins for Coq
Closes: 1013963
Changes:
 coq-ext-lib (0.11.6-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1013963)
Checksums-Sha1:
 61218e27aa5dd295c04f161ae30ece60bf020f86 2084 coq-ext-lib_0.11.6-1.dsc
 08f9ecbc66572054676ae838d52fe8341316a1c1 82555 coq-ext-lib_0.11.6.orig.tar.gz
 a7b5fc15b1b7bc2cee84aa78619b1fac9ab58ec5 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
 9c9b6253b27a4922b084275e4a3269ea228735f7 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
 8fcfd45a707946c8bf5531fe7629513bc2f33fbb 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
Checksums-Sha256:
 b63d084b09e6c61c552698159b0f8dcf19e6e59d01a237f873c00ca8981c0eaa 2084 coq-ext-lib_0.11.6-1.dsc
 ccc142b9e8ddb6b2f007cdded318e31c528ddbafe3b84a803f77e796e820b409 82555 coq-ext-lib_0.11.6.orig.tar.gz
 7f0b0deb49e0d56a4de7b267de71fa9acaae1414e015aeee76551d941d3fb2cb 1948 coq-ext-lib_0.11.6-1.debian.tar.xz
 215503ccb6c330bb46e78bcb3e7bb0d367fa3ff374981730be4212872489a18e 7129 coq-ext-lib_0.11.6-1_amd64.buildinfo
 21e9fac31686c8b9dbf0a9d2eccddfb8d14622b66f8ec6b935f243e601397db8 763488 libcoq-ext-lib_0.11.6-1_amd64.deb
Files:
 f36fcf11375bc2de45e81c6dd60f30f2 2084 ocaml optional coq-ext-lib_0.11.6-1.dsc
 442577afb6ff3a02043478690057cc21 82555 ocaml optional coq-ext-lib_0.11.6.orig.tar.gz
 98439e3a1657ffe99baa59f71f068146 1948 ocaml optional coq-ext-lib_0.11.6-1.debian.tar.xz
 03109ba9874763ae7774f78e53bc8936 7129 ocaml optional coq-ext-lib_0.11.6-1_amd64.buildinfo
 9de08be5a3a10d54613473cdb23ff7fa 763488 ocaml optional libcoq-ext-lib_0.11.6-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6m38SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYg0P/3GOfZVy+ZFuQrq/+hddpjvGx0R4/Zw5
hW6e+5p8cpoUlNkEGQbBbKy/mdFn5aBzZJBrbOmf8+y1ijDkODXfnnsLghQhKhcF
ECA9Fk01NpUMLOQVt/Z52IYdWENvIXMeJJVoPqU4faAKFZ0oD3ZnwNr0aALiCOGo
Cj1vhVP5HEpBIXcS8/OD0iVhInc4Az7ns0A5/qJZU6/oyFm3D/EQz/BRAHlMlr2E
Tdex9Wdf9Wu0bglbd3ASeDchc+p5oUY9VgXprWFNG1upVrKwAW6OHUsEWVsJ/+e5
eDJvLZanNOPRUGKB3JCaXznegNh5XbZxFToC516MCA7RCEHLT41WnU6TcNQ881wG
QUhBzAzsDQj9zkBUVo429JQFyK9PW84j4VefVMnALdco+8bOHDZOdBgXsyrQ1LUV
9HNfwnlawkg3Kfbe9KaituLjcUoNVLgp/JKZlQlsjD/+T7Hg0Xch603bJja551dU
1WzoIc8dQDWUkkyfnoeaTirRuW4ci4E1wELUR9/aQjlasImGueVtaQxrDC9YTmEa
bWFb7n0p5sNPGw71zCtdeh7xn4DONXX3vviQx0na7Q8BG9hf+0rtck9zuyW+X2MU
PO/XryCQnJ7O9IDcw2soqn9jFIbQXpJfO5b7CMmgSRSSAbe/UlgUup94za4LaklL
/uNLfG9sVbYJ
=GYsW
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: