Package: maude Version: 2.6-6 Installed-Size: 2273 Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Architecture: amd64 Depends: libbdd0c2, libc6 (>= 2.16), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libncurses5 (>= 5.5-5~), libsigsegv2 (>= 2.9), libstdc++6 (>= 4.9), libtecla1, libtinfo5 Description: high-performance logical framework Homepage: http://maude.cs.uiuc.edu Description-md5: ccc32fb1bab14fc17d812e62b5294862 Tag: uitoolkit::ncurses Section: science Priority: optional Filename: pool/main/m/maude/maude_2.6-6_amd64.deb Size: 748724 MD5sum: ed9fef09921e2aa98cc890f97dc6814c SHA1: 0d6fe3e8f180748e239a23bd052ec5885cae90ac SHA256: 325308919e0ef4221767707c6217ed4e4a6bc1593d299bcaa245b18d74f4e012