maria (1.3.5-6build1)
2 versions available in ubuntu/resolute/universe/arm64
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-resolute-ports
- Repository
- https://ports.ubuntu.com
- Codename
- resolute
- Component
- universe
- Source
- maria
- Architecture
- arm64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.1 MB
- Size expected
- 366.7 kB
- Size actual
- 366.7 kB
- Size match
- match
Dependencies
Required package dependencies
- libc6 (>= 2.38)
- libreadline8t64 (>= 6.0)
- libstdc++6 (>= 4.6)
Suggested packages
Recommended additional packages
- None
Provides
Virtual packages provided
- None
Description
reachability analyzer for Algebraic System Nets
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c00245f4…49436326 | not available |
| SHA-1 | c0038a68…dc2191b1 | not available |
| SHA-256 | a539bfee…d82e4745 | not available |
| SHA-512 | 31d50a53…e13e140a | match |
Contents
Files and directories included
. etc etc/emacs etc/emacs/site-start.d etc/emacs/site-start.d/50maria.el usr usr/bin usr/bin/maria usr/bin/maria-cso usr/bin/maria-vis usr/lib usr/lib/emacsen-common usr/lib/emacsen-common/packages usr/lib/emacsen-common/packages/install usr/lib/emacsen-common/packages/install/maria usr/lib/emacsen-common/packages/remove usr/lib/emacsen-common/packages/remove/maria usr/share usr/share/doc usr/share/doc/maria usr/share/doc/maria/NEWS.gz usr/share/doc/maria/changelog.Debian.gz usr/share/doc/maria/copyright usr/share/doc/maria/examples usr/share/doc/maria/examples/README.examples usr/share/doc/maria/examples/buffer.pn usr/share/doc/maria/examples/const.pn usr/share/doc/maria/examples/dbm.pn usr/share/doc/maria/examples/dining.pn usr/share/doc/maria/examples/init.pn usr/share/doc/maria/examples/modular.pn usr/share/doc/maria/examples/mutex.pn usr/share/doc/maria/examples/object.pn usr/share/doc/maria/examples/order.pn usr/share/doc/maria/examples/output.pn usr/share/doc/maria/examples/quant.pn usr/share/doc/maria/examples/queens.pn usr/share/doc/maria/examples/resource.pn usr/share/doc/maria/examples/swn-m.pn usr/share/doc/maria/examples/swn.pn usr/share/doc/maria/examples/sync.pn usr/share/doc/maria/examples/typecast.pn usr/share/emacs usr/share/emacs/site-lisp usr/share/emacs/site-lisp/maria usr/share/emacs/site-lisp/maria/pn-mode.el usr/share/emacs/site-lisp/maria/sdl-mode.el usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/maria usr/share/man usr/share/man/man1 usr/share/man/man1/maria-cso.1.gz usr/share/man/man1/maria-vis.1.gz usr/share/man/man1/maria.1.gz usr/share/maria usr/share/maria/runtime usr/share/maria/runtime/Error.h usr/share/maria/runtime/bush.h usr/share/maria/runtime/bushfcn.h usr/share/maria/runtime/bushpriv.h usr/share/maria/runtime/codec.h usr/share/maria/runtime/codecfcn.h usr/share/maria/runtime/event.h usr/share/maria/runtime/eventpriv.h usr/share/maria/runtime/statefcn.h usr/share/maria/runtime/token.h usr/share/maria/runtime/types.h
Versions
2 versions in this repository slot, newest first