alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: maria  ]

Pakket: maria-doc (1.3.5-4.1)

Verwijzigingen voor maria-doc

Screenshot

Debian bronnen:

Het bronpakket maria downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

documentation of Maria

This package contains the documentation of Maria, a reachability analyzer for algebraic system nets, both in the formats info and html.

Tags: Softwareontwikkeling: Documentatie, Testing and QA, Field: Wiskunde, Made Of: made-of::html, made-of::info, Role: Documentatie

Andere aan maria-doc gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

maria-doc downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 129,5 kB615,0 kB [overzicht]