Package: maude
Priority: optional
Section: universe/science
Installed-Size: 2141
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Architecture: i386
Version: 2.6-4
Depends: libbdd0c2, libc6 (>= 2.16), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 4.6), libtecla1
Filename: pool/universe/m/maude/maude_2.6-4_i386.deb
Size: 898992
MD5sum: 5203f068a84069c51d80cbccab1a9660
SHA1: 47205976de559cb744438d43d8b0b82404a6bb54
SHA256: 60c587130ee327bc486ae113ecbd85a250fe525400e45f21e89cdfe15a256df2
Description: high-performance logical framework
Homepage: http://maude.cs.uiuc.edu
Description-md5: ccc32fb1bab14fc17d812e62b5294862
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu