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-2
Architecture:all
Distribution:Debian
Filename:maria-doc_1.3.5-2_all.deb

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

maria (1.3.5-2) unstable; urgency=low

  * debhelper compatibility level 7.
  * Standards-Version 3.8.3 (no change)
  * Convert to source format 3.0 (quilt):
    - debian/patches in quilt style
    - no more patching in debian/rules
    - no more build-dependency on dpatch
    - added debian/source/format
    - remove debian/README.source 
  * debian/control:
   - add dependency on ${misc:Depends}
more»

/usr/share/doc/maria-doc/changelog.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 faster
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-2_all.deb

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

Download maria-doc_1.3.5-2_all.deb

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