Package: maude Architecture: amd64 Version: 2.7-2 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 2521 Depends: libbdd0c2, libc6 (>= 2.16), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 5.2), libtecla1 Filename: pool/universe/m/maude/maude_2.7-2_amd64.deb Size: 830462 MD5sum: 9a121ea77f48ccf986823a46f33ff4a0 SHA1: 4fc72ed7a227335b795e769ab364811d65ef3172 SHA256: 390f8148bae1701295efd842500898b7c14b5d5cb77da85a96ff84d9e11d4242 Homepage: http://maude.cs.uiuc.edu Description: high-performance logical framework Description-md5: ccc32fb1bab14fc17d812e62b5294862