maria-doc_1.3.5-4_all.deb


Advertisement

Description

maria-doc - documentation of Maria

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: maria-doc
Package version: 1.3.5
Package release: 4
Package architecture: all
Package type: deb
Installed size: 688 B
Download size: 150.76 KB
Official Mirror: ftp.br.debian.org
This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.

Alternatives

    Download

    Binary package: maria-doc_1.3.5-4_all.deb
    Source package: maria

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install maria-doc deb package:
      # sudo apt-get install maria-doc

    Files

    • /usr/share/doc-base/maria-doc
    • /usr/share/doc/maria-doc/NEWS.gz
    • /usr/share/doc/maria-doc/changelog.Debian.gz
    • /usr/share/doc/maria-doc/copyright
    • /usr/share/doc/maria-doc/html/maria.html
    • /usr/share/doc/maria-doc/html/maria_1.html
    • /usr/share/doc/maria-doc/html/maria_10.html
    • /usr/share/doc/maria-doc/html/maria_11.html
    • /usr/share/doc/maria-doc/html/maria_2.html
    • /usr/share/doc/maria-doc/html/maria_3.html
    • /usr/share/doc/maria-doc/html/maria_4.html
    • /usr/share/doc/maria-doc/html/maria_5.html
    • /usr/share/doc/maria-doc/html/maria_6.html
    • /usr/share/doc/maria-doc/html/maria_7.html
    • /usr/share/doc/maria-doc/html/maria_8.html
    • /usr/share/doc/maria-doc/html/maria_9.html
    • /usr/share/doc/maria-doc/html/maria_abt.html
    • /usr/share/doc/maria-doc/html/maria_fot.html
    • /usr/share/doc/maria-doc/html/maria_toc.html
    • /usr/share/info/maria.info.gz

    Changelog

    Advertisement
    Advertisement