Package: minlog
Architecture: all
Version: 4.0.99.20100221-6
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7555
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-6_all.deb
Size: 2629612
MD5sum: 813497256f6c548b5123fb9e1c441c92
SHA1: cfcd2c2cedaf863f527f7e3c51bc2643634afc54
SHA256: aec45032f58b03a627deb58d6c5dcfd9965bc2eb52a258e2f9d541b1b73a7462
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd