Package: minlog
Priority: optional
Section: universe/math
Installed-Size: 8588
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Freiric Barral <barral@math.lmu.de>
Architecture: all
Version: 4.0.99.20100221-5.2
Depends: plt-scheme | guile
Recommends: emacs23 | emacs22 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-5.2_all.deb
Size: 2886134
MD5sum: 4a4b85d7b24e5ad9bbce2a0474f4cd86
SHA1: 14097376451df22de97de5c57ff144e52326dd58
SHA256: f68334402b640cc6e3df4cba9c4f1f2083546947593f49a010b39715a350ac28
Description: Proof assistant based on first order natural deduction calculus
Homepage: http://www.minlog-system.de
Description-md5: 5282cef3106afd8fdee9635a8a3692bd
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu