Package: minlog
Priority: optional
Section: universe/math
Installed-Size: 7643
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 4.0.99.20100221-8
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Depends: racket | guile
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-8_all.deb
Size: 2650566
SHA512: 7623344a5cdb1cf8a64993d3e316bc9ec0cf14a0bbfecd16c40ba7d52dde7c51b1b242b6a91dee27da35a6c27642fda613a1fba3a46cb5fefcc64eb70df9f64d
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug