Package: maude
Priority: optional
Section: universe/science
Installed-Size: 2353
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.7-1
Depends: libbdd0c2, libc6 (>= 2.16), libgcc1 (>= 1:4.2), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6 (>= 5.2), libtecla1
Filename: pool/universe/m/maude/maude_2.7-1_i386.deb
Size: 794314
MD5sum: eedc4b87b4bb064ea28e897133a3afbd
SHA1: 307bea343c088eab4dfbfd296b0c0e7d15eb926e
SHA256: 6e7956bed841cfbf3593c4af8605aef1c6c2ee33f369ea36e70008b632ac0b5c
Description: high-performance logical framework
Homepage: http://maude.cs.uiuc.edu
Description-md5: ccc32fb1bab14fc17d812e62b5294862
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu