maria - 1.3.5-4.1+b1 main

reachability analyzer for Algebraic System Nets

Section: math
Suites: amber byzantium landing 
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 1.2 MB
Architectures: arm64  amd64 

 

Versions

1.3.5-4.1+b1 arm64 1.3.5-4.1+b1 amd64