prooftree_0.13-1+b3_i386.deb


Advertisement

Description

prooftree - proof-tree visualization for Proof General

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename prooftree_0.13-1+b3_i386.deb
Package name prooftree
Package version 0.13
Package release 1+b3
Package architecture i386
Package type deb
Category science uitoolkit::gtk
Homepage http://askra.de/software/prooftree
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 729.64 KB
Installed size 3.34 MB

Alternatives

Package Version Architecture Repository
prooftree_0.13-1+b3_amd64.deb 0.13 amd64 Debian Main
prooftree - - -

Requires

Name Value
coq >= 8.4
libc6 >= 2.28
libgdk-pixbuf2.0-0 >= 2.22.0
libglib2.0-0 >= 2.35.9
libgtk2.0-0 >= 2.24.32
libpango-1.0-0 >= 1.22.0
proofgeneral >= 4.3~pre130510

Download

Type URL
Mirror ftp.br.debian.org
Binary Package prooftree_0.13-1+b3_i386.deb
Source Package prooftree

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install prooftree deb package:
    # sudo apt-get install prooftree

Files

Path
/usr/bin/prooftree
/usr/share/doc-base/prooftree-changes
/usr/share/doc/prooftree/README
/usr/share/doc/prooftree/changelog.Debian.gz
/usr/share/doc/prooftree/changelog.Debian.i386.gz
/usr/share/doc/prooftree/changelog.gz
/usr/share/doc/prooftree/changes.html
/usr/share/doc/prooftree/copyright
/usr/share/man/man1/prooftree.1.gz

Changelog

2017-01-03 - Hendrik Tews <hendrik@askra.de>
prooftree (0.13-1) unstable; urgency=medium
* Imported Upstream version 0.13
* delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream)
* push standards version to 3.9.8
* fix some lintian warnings
2015-10-14 - St├ęphane Glondu <glondu@debian.org>
prooftree (0.12-2) unstable; urgency=low
[ St├ęphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.02
[ Hendrik Tews ]
* lintian canonical vcs
2013-05-17 - Hendrik Tews <hendrik@askra.de>
prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)

See Also

Package Description
proot_5.1.0-1.3_i386.deb emulate chroot, bind mount and binfmt_misc for non-root users
propaganda-debian_13.5.10_all.deb Propaganda background image volume for Debian
propellor_5.9.1-1_i386.deb property-based host configuration management in haskell
prosody-modules_0.0~hg20190203.b54e98d5c4a1+dfsg-1_all.deb Selection of community modules for Prosody
prosody_0.11.2-1_i386.deb Lightweight Jabber/XMPP server
prospector_0.12.7-2.1_all.deb comprehensive static Python code analyzer
prosper_2018.20190227-2_all.deb TeX Live: transitional dummy package
protobuf-c-compiler_1.3.2-1+b1_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler-grpc_1.16.1-1+b1_i386.deb high performance general RPC framework - protobuf plugin
protobuf-compiler_3.6.1.3-2_i386.deb compiler for protocol buffer definition files
protoc-gen-yarpc_0.0.1-1_i386.deb Yet Another RPC for Go - command-line utility
protracker_2.3d.r191-1_i386.deb Music tracker clone of ProTracker v2.3D for modern computers
prottest_3.4.2+dfsg-3_all.deb selection of best-fit models of protein evolution
prov-tools_1.5.2-2_all.deb tools for prov
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
Advertisement
Advertisement