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