maria (1.3.5-6build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-resolute
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- resolute
- Component
- universe
- Source
- maria
- Architecture
- amd64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.1 MB
- Size expected
- 391 kB
- Size actual
- 391 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 | 710d5335…5bd9c623 | not available |
| SHA-1 | 41ed6779…a8b28a75 | not available |
| SHA-256 | 878aed72…b90511b9 | not available |
| SHA-512 | b0177def…f3b3e6c8 | 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