deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
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.
Homepage: http://www.tcs.hut.fi/Software/maria/
Installed-Size: '614'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Package: maria-doc
Priority: optional
Recommends: maria, info | info-browser | www-browser
Section: doc
Source: maria
Version: 1.3.5-6
srcpkg_name: maria
srcpkg_version: 1.3.5-6