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
MD5sum: e80c7437074f845ff4e6eb1d86c34579
SHA1: a793fdc654b8b3a4f934864247912ad386487127
SHA256: 96fbfcb54e3038ca8e72f35b28f3b2b85a052935df6507027b7e87c24f551207
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