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

Bug#1014965: marked as done (ITP: coq-libhyps -- Tactics on hypotheses in Coq)

Your message dated Sat, 01 Oct 2022 23:00:11 +0000
with message-id <E1oelSt-00C3Yc-9T@fasolo.debian.org>
and subject line Bug#1014965: fixed in coq-libhyps 2.0.6-1
has caused the Debian Bug report #1014965,
regarding ITP: coq-libhyps -- Tactics on hypotheses 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.)


-- 
1014965: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014965
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-libhyps
  Version         : 2.0.5
  Upstream Author : Pierre Courtieu
* URL             : https://www.github.com/Matafou/LibHyps
* License         : Expat
  Programming Lang: Coq
  Description     : Tactics on hypotheses in Coq
 This package provides tactics and tacticals to work
 with hypotheses during a Coq proof.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team along with the
rest of the Coq-related packages.

Cheers,

J.Puydt

--- End Message ---
--- Begin Message --- 
Source: coq-libhyps
Source-Version: 2.0.6-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-libhyps, 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 1014965@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-libhyps 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, 23 Sep 2022 16:21:31 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 2.0.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-libhyps - Tactics on hypotheses in Coq
Closes: 1014965
Changes:
 coq-libhyps (2.0.6-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1014965)
Checksums-Sha1:
 2819f82574be645721e1d5ed6c9243db32a224a6 2067 coq-libhyps_2.0.6-1.dsc
 5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
 9ebcf6c75d7c087322704e5585a95dc5088daf8f 1860 coq-libhyps_2.0.6-1.debian.tar.xz
 5e479f14a58a29186ba0147c0ee3e6bc466f2188 7361 coq-libhyps_2.0.6-1_amd64.buildinfo
 5e5f5aba7c5f06c336ca7a2da541836bceab7f06 84584 libcoq-libhyps_2.0.6-1_amd64.deb
Checksums-Sha256:
 d6ca60b9e7f9258201d5bb1b39c7fd74c8f1c5c03112b993ac1055bc094f0955 2067 coq-libhyps_2.0.6-1.dsc
 ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
 a4b0c4286a3c2b92f2249ce84be7c5b33b1b2421bb402f4508c7580d5ca11d79 1860 coq-libhyps_2.0.6-1.debian.tar.xz
 c73ccd0da147d394ea0c3cf0434f988926960211517eb12d9d08a0d2ca16602b 7361 coq-libhyps_2.0.6-1_amd64.buildinfo
 8673f79f145beb4617a32e8a6c670d324ba249692a7567271f6fb13e1caa9f88 84584 libcoq-libhyps_2.0.6-1_amd64.deb
Files:
 c53bfc8f5fe4a5a361445548ae4914f3 2067 ocaml optional coq-libhyps_2.0.6-1.dsc
 9aecf3f2e2a19b58ad130d6895731342 36241 ocaml optional coq-libhyps_2.0.6.orig.tar.gz
 d76c4dd997171a20cf41761bb96fb52d 1860 ocaml optional coq-libhyps_2.0.6-1.debian.tar.xz
 b7a724ed93c42b53e0c98c619b36849e 7361 ocaml optional coq-libhyps_2.0.6-1_amd64.buildinfo
 6b996eee6d1a2d0970f502456b209b28 84584 ocaml optional libcoq-libhyps_2.0.6-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtwRwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFxYP/1iWJta/XP5oOBgo6OckVM1LJ2GmbmZK
YZ0NQD8ho6C/z+Ti0WR8JNRIRirFeYRQl/Er5SqlHprRfjWYSeV2FIWchFqjLj+9
EmpNR4+50OuPDrRuGPScoD+xilfS/BoAsQfnr/XvC/jZmzJWHmXYEKLVtw3GO2VK
OusinQrcVBoNK9MScmSqgf3tvNojWReWfgbxmDk3T3omxixXWUI75LRtLBRKQbph
A4qAc1pDAZf92g0fRn5pLUx+8UFuIgcpIv5S6FDyZ4cih5czexfzTHB8K2Qgpav0
GGOC3rK9r2y2BdPZLgXgPZE8Nn1FKh9xUX5vcFtXFeU2RKzB1Kn1zUa4CGnf4xuQ
qVyat1LGHID3KbSxpXZ8wEvlOSjCL0788p+4V+W8eCHBoqDAU8a+yNMd/HpHlbmG
42WKGOMC7+PyMZhG+9OuM/KxUxX3sfHIQLiPJCIgIIZSZu8+MfkbJjJPiL25iR5v
O+rPawT6v9sjQSxjVVKb6ci1FfWHR3Jq4KiVHH6OmjCvi5KdHUZMrRPGZKIYuXeh
1EC8gai7HNW1IaB7tYOQUwGNQA7cUNsupQYqU1P8N6A4T4EoTo+xCfkr/HfhBl5d
rZK9yiOpyDm+q7Q07P3GncmVHaiJoRfCYHwjfXsccOQ0NtdUSdYEE435jD2PSXHh
DGyT5T1e05cy
=wjD1
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: