Package: maude
Architecture: amd64
Version: 3.2-2build1
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: 2934
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.2-2build1_amd64.deb
Size: 1076044
MD5sum: f270ba8dcb83d183fa6eadb538555eb1
SHA1: 4c2b24c6640824f304a61f4b7afc049a07dfeed2
SHA256: 47b09815a0caab16c9c95e4d2ca9d11f9234f3461efe6efa958729e912f93781
SHA512: d3a4d91ae783ec4835930a5bb5e752698b8dabb9537feb4247c38abb9f2f97ba8ffcdcdba9ad6c4ca5951fe60b04e8bad985ae6629c7461590f775eee02d23e6
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862