Bug#869114: ITP: ocaml-libtopkg -- packager for distributing OCaml software

2017-07-20 Thread Hendrik Tews
Package: wnpp Owner: Hendrik Tews Severity: wishlist * Package name: ocaml-libtopkg Version : 0.9.0 Upstream Author : Daniel Bünzli * URL or Web page : http://erratique.ch/software/topkg * License : ISC Programming Lang: OCaml Description : packager for

Bug#672480: ITP: prooftree -- proof tree visualization for Proof General

2012-05-11 Thread Hendrik Tews
Package: wnpp Owner: Hendrik Tews 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

Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-13 Thread Hendrik Tews
Package: wnpp Owner: Hendrik Tews Severity: wishlist * Package name: hol-light Version : 20120312 Upstream Author : John Harrison * URL or Web page : http://www.cl.cam.ac.uk/~jrh13/hol-light/ * License : HOL Light licence Description : HOL Light theorem prover HOL