Package: maude
Priority: optional
Section: universe/science
Installed-Size: 3343
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 3.5.1-1
Depends: libbdd0c2 (>= 2.4+dfsg), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libsigsegv2 (>= 2.9), libstdc++6 (>= 13.1), libtecla1t64 (>= 1.6.3)
Filename: pool/universe/m/maude/maude_3.5.1-1_amd64.deb
Size: 1235272
SHA512: 0c9b5b68d1f1e8006e50e8bd481f9e40d4c7b20e6b2f5957ef714b99125eab7c6173d9d0ee5d32f7cc01d448d343b7aa68d8bf8f4a91e9c51aba0c20b57542d9
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862
Original-Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug