Filewatcher File Search File Search
Catalog
Content Search
» » » » »

maria-doc

documentation of Maria

Variants:
This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.
Homepage:
Package version:1.3.5-4
Architecture:all
Distribution:Debian
Filename:maria-doc_1.3.5-4_all.deb

/usr/share/doc/maria-doc/NEWS.gz

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
more»

/usr/share/doc/maria-doc/changelog.Debian.gz

maria (1.3.5-4) unstable; urgency=low

  * debian/control:
    - 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 <treinen@debian.org>  Fri, 13 May 2011 21:59:53 +0200

maria (1.3.5-3) unstable; urgency=low

  * 
more»

/usr/share/doc/maria-doc/copyright

This package was debianized by Ralf Treinen <treinen@debian.org> 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ä <msmakela@tcs.hut.fi>

Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Marko Mäkelä
(msmakela@tcs.hut.fi)

Licence:

Maria, with the exception of the maria-vis script, is covered by the
following l
more»

Browse inside maria-doc_1.3.5-4_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download maria-doc_1.3.5-4_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com