Package: maude Priority: optional Section: universe/science Installed-Size: 2206 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Architecture: amd64 Version: 2.6-2 Depends: libbdd0c2, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 4.6), libtecla1 Conflicts: maude Filename: pool/universe/m/maude/maude_2.6-2_amd64.deb Size: 934608 MD5sum: 8dca70b0fa0fa47438b77be367091e61 SHA1: ba3d16681ee74bb1522cfa75285fdb708c869caa SHA256: 0a549b641e5c51a267daeb81344c9da2e335a3dcbff42360fc67fa03c627572d Description: high-performance logical framework Homepage: http://maude.cs.uiuc.edu Description-md5: ccc32fb1bab14fc17d812e62b5294862 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu