Package: proofgeneral-minlog Priority: optional Section: universe/editors Installed-Size: 96 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: all Source: proofgeneral Version: 3.7-4 Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile Recommends: minlog Filename: pool/universe/p/proofgeneral/proofgeneral-minlog_3.7-4_all.deb Size: 20200 MD5sum: 85c2df05f31c0cf16351505b25080a63 SHA1: 62efc324f74f3e744efb5b6e1f0d0df906ef6797 SHA256: 04b119939979c4157b212ee93a2200cac270ae3ae4b7252ac51c1553db1f38fa Description: generic interface for proof assistants - Minlog support Homepage: http://proofgeneral.inf.ed.ac.uk Description-md5: 105266bb8eee6bce8ec5f315568bed33 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu