Package: maria
Architecture: amd64
Version: 1.3.5-4.2build2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1190
Depends: libc6 (>= 2.38), libreadline8t64 (>= 6.0), libstdc++6 (>= 4.6)
Recommends: maria-doc, lbt, graphviz
Conflicts: maria-vis
Replaces: maria-vis
Filename: pool/universe/m/maria/maria_1.3.5-4.2build2_amd64.deb
Size: 433010
MD5sum: d41486c78776991779f26e393be49a59
SHA1: fa36cec684a675dbffe61047ace44a11d1119502
SHA256: 794214be4ca03ea91aaf79e5c999effbf87da65a61f6508c89359b309c7ceef9
SHA512: 97d1ae08219e22c163edc3ad5cfb8dc65b16681956d08edd8961aa8bab4eb0f4e12f36478d4b4320b56aca6d4baf827bbc50adb27bcc0665beaa745bf5afefe6
Homepage: http://www.tcs.hut.fi/Software/maria/
Description: reachability analyzer for Algebraic System Nets
Description-md5: ca252a3bfe57ff6749d5bd4344755a7e