debian/0000755000000000000000000000000012256127011007163 5ustar debian/docs0000644000000000000000000000002412151171664010041 0ustar README changes.html debian/copyright0000644000000000000000000000177712151171664011141 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: prooftree Upstream-Contact: Hendrik Tews Source: http://askra.de/software/prooftree Files: * Copyright: 2011, 2012 Hendrik Tews License: GPL-3+ This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. . This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . . On Debian systems, the full text of the GNU General Public License version 3 can be found in the file `/usr/share/common-licenses/GPL-3'. debian/changelog0000644000000000000000000000045312256127006011043 0ustar prooftree (0.12-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 22:40:50 +0100 prooftree (0.12-1) unstable; urgency=low * Initial release (Closes: #672480) -- Hendrik Tews Fri, 17 May 2013 16:53:01 +0200 debian/compat0000644000000000000000000000000212151171664010370 0ustar 9 debian/control0000644000000000000000000000167112151171664010602 0ustar Source: prooftree Section: science Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev Standards-Version: 3.9.4 Homepage: http://askra.de/software/prooftree Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git Package: prooftree Architecture: any Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} 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. debian/rules0000755000000000000000000000133412151171664010253 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # Uncomment this to turn on verbose mode. # export DH_VERBOSE=1 # export DH_OPTIONS=-v # This has to be exported to make some magic below work. export DH_OPTIONS %: dh $@ --with ocaml .PHONY: override_dh_auto_clean override_dh_auto_clean: dh_auto_clean rm -f Makefile .PHONY: override_dh_auto_configure override_dh_auto_configure: ./configure --prefix /usr debian/source/0000755000000000000000000000000012151171664010472 5ustar debian/source/format0000644000000000000000000000001412151171664011700 0ustar 3.0 (quilt) debian/gbp.conf0000644000000000000000000000003612151171664010610 0ustar [DEFAULT] pristine-tar = True debian/prooftree.doc-base0000644000000000000000000000036512151171664012602 0ustar Document: prooftree-changes Title: List of Changes for Prooftree Author: Hendrik Tews Abstract: list of changes Section: Science/Mathematics Format: HTML Index: /usr/share/doc/prooftree/changes.html Files: /usr/share/doc/prooftree/changes.html debian/watch0000644000000000000000000000032112151171664010217 0ustar # try uscan(1) # Compulsory line, this is a version 3 file version=3 # Uncomment to examine a Webpage # http://askra.de/software/prooftree/ releases/prooftree-([0-9.]*)\.tar\.gz