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