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

Bug#672480: marked as done (ITP: prooftree -- proof tree visualization for Proof General)

Your message dated Tue, 16 Jul 2013 04:02:14 +0000
with message-id <E1UywSs-0006yr-QY@franck.debian.org>
and subject line Bug#672480: fixed in prooftree 0.12-1
has caused the Debian Bug report #672480,
regarding ITP: prooftree -- proof tree visualization for Proof General
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.)


-- 
672480: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672480
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Owner: Hendrik Tews <hendrik@askra.de>
Severity: wishlist

* Package name    : prooftree
  Version         : 0.9
  Upstream Author : Hendrik Tews
* URL or Web page : http://askra.de/software/prooftree/
* License         : GPL-3
  Description     : proof tree visualization for Proof General

 Prooftree draws proof trees during interactive proof development
 with Proof General. One can inspect goals and proof commands
 and check where existential variables were introduced and
 instantiated. Currently, Prooftree does only work for Coq.


Actually Prooftree requires Coq 8.4, which has not been released
yet. There is also work on supporting HOL Light, but this has not
been released either. However, there is a good chance that 
Coq 8.4 and/or the HOL Light support in Proof General will get
included in the next Debian release. Given the time it takes to
get a new package into Debian, it is probably not too early to
start now with packaging Prooftree.

Even if Coq 8.4 and the HOL Light support in Proof General will
not be included in the next Debian release, it would be good to
have Prooftee in the archive. Users would then only need to
install Coq or Proof General manually and could rely on the
Prooftree package.


Bye,

Hendrik

--- End Message ---
--- Begin Message --- 
Source: prooftree
Source-Version: 0.12-1

We believe that the bug you reported is fixed in the latest version of
prooftree, 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 672480@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Hendrik Tews <hendrik@askra.de> (supplier of updated prooftree 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, 17 May 2013 16:53:01 +0200
Source: prooftree
Binary: prooftree
Architecture: source amd64
Version: 0.12-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description: 
 prooftree  - proof-tree visualization for Proof General
Closes: 672480
Changes: 
 prooftree (0.12-1) unstable; urgency=low
 .
   * Initial release (Closes: #672480)
Checksums-Sha1: 
 1c939e94fa1de497ce26da4a4b14bf67dfa10d1f 2001 prooftree_0.12-1.dsc
 ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz
 76d7b647a1e0e3f3df4164363703e34a2ff19dc7 2120 prooftree_0.12-1.debian.tar.gz
 70f31ae0635675619bbb0f4b91f7c691f0c60f1a 800038 prooftree_0.12-1_amd64.deb
Checksums-Sha256: 
 938949bc176689c8c83f8877b6293703f2aac2db51a8b45e2417734d4175145d 2001 prooftree_0.12-1.dsc
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 8b1c45107d0fe71909a2f9d85f0a877571e3a53dcfd6cac09b39351f72957adf 2120 prooftree_0.12-1.debian.tar.gz
 90b13866ef19a95dfd201b5c5b2fee43eb73ad2212a5cbc090ddf94070f74073 800038 prooftree_0.12-1_amd64.deb
Files: 
 cc459a9075554a8380f28dc3eadf021e 2001 science optional prooftree_0.12-1.dsc
 1ccae43094ae52a85a52bff0f9e22495 103680 science optional prooftree_0.12.orig.tar.gz
 a032ebd56fbdf031fa8163f23bfc2ef6 2120 science optional prooftree_0.12-1.debian.tar.gz
 0cd64f95c5097d82ace2586553febab2 800038 science optional prooftree_0.12-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJRpPc/AAoJEHhT2k1JiBrTmo8P/3Vt/C0hhbKsMJglP2e3eLHY
WAq9TQaz9sm8x8P3xzHR8FZcerOUVfTx96dx4Fkw311MiA99FdzqQQFEGiU/DIo5
cUPN1lTmdN6rs3TUQDkNVDRrfE5d0+4Ki3w7VqEdPr8A0VgiAt7W2iGGgblY0oP0
quT2cLSmLB4Miq8kEb2+pPcIyqqQPCRlsaJHU4GWaLewDpdbY8m1LSDFk+xnHsgd
axfk6ZTA2y66o8bgDxjzm9MB6AeOt5Xye9K6F10sxCBPcfGD0oBv9OW9UlOs5YwM
KPiQEt5evin0/PuP6aYRsuW8rl6Z1jfPDkqZWZriVlgHR2AGL4216NYBQIISznQ8
VDWl0h4+d5pCiQsHydpYk8eWp/XGj5eWdksHpYIA9klQxRUJL1s9er0V1w3uAVPE
n6k3PUlEnhunUDX7cG+2lEU/L38eVHNJayZpm3IDU5pOQNzXakROETpFBQSEfPLI
4hzLCb0x0nUSasd3vHSpqWRia7Ty5+Dl1HbCgUAhxxpn2vVW8f1AQ2YhMStsPJ1N
RrXMPUjVgKWxl2lNbKOPjVjLvrAah9BwEKW5LD6I3UyVd8d1ArZrEg+bh9hxDZUw
Xh2euDZ1VidvLCaxvM4lHYsdiEaIONsygD1T+xHKOHL+px9Fc7hvpGwZBMplUasw
F2om3VkkHFZISajwVGmY
=qrI7
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: