Package - maude
Primary informations
Download package: http://deb.debian.org/debian/pool/main/m/maude/maude_3.4-1_amd64.deb (Size: 1.1MiB)| Property | Value |
|---|---|
| Package | maude |
| Version | 3.4-1 |
| Installed-Size | 3703 |
| Maintainer | Debian Med Packaging Team |
| Architecture | amd64 |
| Depends | libbdd0c2 (>= 2.4+dfsg), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libsigsegv2 (>= 2.9), libstdc++6 (>= 13.1), libtecla1t64 (>= 1.6.3) |
| Description | high-performance logical framework |
| Description-md5 | ccc32fb1bab14fc17d812e62b5294862 |
| Homepage | http://maude.cs.uiuc.edu |
| Tag | uitoolkit::ncurses |
| Section | science |
| Priority | optional |
| Filename | pool/main/m/maude/maude_3.4-1_amd64.deb |
| Size | 1186676 |
| MD5sum | de0a27095ac0068297e8136420933f0b |
| SHA256 | 76b8001abc2b81a3ad8f1a9b63450f5889802905d46f9db80fa034027bc67f07 |
Files in package
- /usr/bin/maude
- /usr/share/doc/maude/changelog.Debian.gz
- /usr/share/doc/maude/changelog.gz
- /usr/share/doc/maude/copyright
- /usr/share/man/man1/maude.1.gz
- /usr/share/maude/file.maude
- /usr/share/maude/linear.maude
- /usr/share/maude/machine-int.maude
- /usr/share/maude/metaInterpreter.maude
- /usr/share/maude/model-checker.maude
- /usr/share/maude/prelude.maude
- /usr/share/maude/prng.maude
- /usr/share/maude/smt.maude
- /usr/share/maude/socket.maude
- /usr/share/maude/term-order.maude
- /usr/share/maude/time.maude