Package: maude
Architecture: i386
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: 2353
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-2_i386.deb
Size: 794430
MD5sum: 02132a2c7829abb3f20b4650a08a773b
SHA1: 82866e20620ed44d75654f333069869b528cd7d7
SHA256: f4fc894c3dd8c372949a1ca864c0eb144df20d6193fdb4c4ccf03d380e45494c
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862