Package: maude
Architecture: amd64
Version: 3.4-1
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: 3187
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.4-1_amd64.deb
Size: 1170882
MD5sum: f9da454ffa499c0b37a1164b7b6414b4
SHA1: 97f2fa66820cd9d3eef07fa1db23928e4226c3d3
SHA256: 3bf0dff159bfca5bde32e79a5716f53543058ca3c45037589db12e67c27930be
SHA512: 552d54d4a7b8d4f6da2c4246ed189b90886aac7ee4d9c570626d139e8e385ffc45975084a75f51c13dd7224dae476daa6360f879ff2c71239b6d784a6cc697a0
Homepage: http://maude.cs.uiuc.edu
Description: high-performance logical framework
Description-md5: ccc32fb1bab14fc17d812e62b5294862