Package: maria-doc
Source: maria
Version: 1.3.5-6build1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 614
Recommends: maria, info | info-browser | www-browser
Section: doc
Priority: optional
Homepage: http://www.tcs.hut.fi/Software/maria/
Description: documentation of Maria
 This package contains the documentation of Maria, a reachability
 analyzer for algebraic system nets, both in the formats info and html.
