This package contains the documentation of Maria, a reachability
analyzer for algebraic system nets, both in the formats info and html.
Maria NEWS -- history of user-visible changes. 29th July 2005
Copyright © 2002,2003,2004,2005 Marko Mäkelä
See the end for copying conditions.
* Maria 1.3.5 is a maintenance release with performance and portability fixes
** Identified performance bottlenecks with OProfile on GNU/Linux x86
*** Wrote non-looping log() functions for systems with 32-bit card_t.
The function is 2 to 3 times fast
maria (1.3.5-4) unstable; urgency=low
- set section to science
- set priority to extra
- set maintainer to debian-science
- add Vcs-Git/Browse fields
* Simplify invocations to debhelpers in debian/rules
* patch utf8: migrate NEWS file to utf8
-- Ralf Treinen <firstname.lastname@example.org> Fri, 13 May 2011 21:59:53 +0200
maria (1.3.5-3) unstable; urgency=low
This package was debianized by Ralf Treinen <email@example.com> on
Fri, 2 Aug 2002 22:20:09 +0200.
It was downloaded from http://www.tcs.hut.fi/Software/maria/src/
Upstream Author: Marko Mäkelä <firstname.lastname@example.org>
Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Marko Mäkelä
Maria, with the exception of the maria-vis script, is covered by the