Package: minlog
Architecture: all
Version: 4.0.99.20100221-7
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-7_all.deb
Size: 2629048
MD5sum: e0573285f6840daabb8ceb06c33bf18c
SHA1: c7c67566040dd41b709e36e13176236978802c89
SHA256: 7f216f0a3df681c5d4cb9242cb4d549ec4cac27ed3a88fdbd8e652c45f5d32d6
SHA512: 835fa88ee705077361602305d46942960e8b5b523932d4b5069fefd07a04b4abeaf9bbd8b1cbcc80a5245e85d4864513d4ddb46901a7e5a399eed5c66142a09a
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd