maria-doc_1.3.5-4_all.deb


Advertisement

Description

maria-doc - documentation of Maria

Property Value
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

Package Version Architecture Repository
maria-doc_1.3.5-4_all.deb 1.3.5 all Debian Main
maria-doc - - -

Requires

Name Value
dpkg >= 1.15.4
install-info -

Download

Type URL
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

Path
/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

See maria_1.3.5-4_amd64.deb changelog.

See Also

Package Description
maria_1.3.5-4_amd64.deb reachability analyzer for Algebraic System Nets
mariadb-client-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database client binaries
mariadb-client-core-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database core client binaries
mariadb-client_10.0.32-0+deb8u1_all.deb MariaDB database client (metapackage depending on the latest version)
mariadb-common_10.0.32-0+deb8u1_all.deb MariaDB common metapackage
mariadb-connect-engine-10.0_10.0.32-0+deb8u1_amd64.deb Connect storage engine for MariaDB
mariadb-oqgraph-engine-10.0_10.0.32-0+deb8u1_amd64.deb OQGraph storage engine for MariaDB
mariadb-server-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database server binaries
mariadb-server-core-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database core server files
mariadb-server_10.0.32-0+deb8u1_all.deb MariaDB database server (metapackage depending on the latest version)
mariadb-test-10.0_10.0.32-0+deb8u1_amd64.deb MariaDB database regression test suite
mariadb-test_10.0.32-0+deb8u1_all.deb MariaDB database regression test suite (metapackage for the latest version)
marionnet_0.90.6+bzr457-1_amd64.deb Virtual network laboratory
marisa_0.2.4-8_amd64.deb commmand line tools for libmarisa
markdown_1.0.1-7_all.deb Text-to-HTML conversion tool
Advertisement
Advertisement