[ Source: mona ]
Package: mona (1.4-13-3 and others)
Links for mona
Debian Resources:
Download Source Package mona:
Maintainers:
External Resources:
- Homepage [www.brics.dk]
Similar packages:
theorem prover based on automata
Other Packages Related to mona
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.11) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.13) [s390x, sh4]
- dep: libc6 (>= 2.2) [hppa]
- dep: libc6 (>= 2.5) [avr32]
- dep: libc6 (>= 2.5-5) [m68k]
- dep: libc6 (>= 2.7) [amd64, armel, armhf, i386, mips, mipsel, powerpc, s390, sparc, sparc64]
-
- dep: libc6.1 (>= 2.7) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc1 [powerpcspe]
- GCC support library
- dep: libgcc1 (>= 1:4.1.1) [not armel, armhf, avr32, hppa, hurd-i386, m68k, powerpcspe]
- dep: libgcc1 (>= 1:4.2.1) [avr32]
- dep: libgcc1 (>= 1:4.4.0) [armel, armhf]
- dep: libgcc1 (>= 4.2.1) [hurd-i386]
-
- dep: libgcc2 (>= 4.2.1-1) [m68k]
- GCC support library
-
- dep: libgcc4 (>= 4.1.1) [hppa]
- GCC support library
-
- dep: libstdc++6 [powerpcspe]
- GNU Standard C++ Library v3
- dep: libstdc++6 (>= 4.2.1) [not armel, armhf, m68k, powerpcspe]
- dep: libstdc++6 (>= 4.2.1-4) [m68k]
- dep: libstdc++6 (>= 4.4.0) [armel, armhf]
-
- dep: libunwind7 [ia64]
- A library to determine the call-chain of a program - runtime
-
- rec: graphviz
- rich set of graph drawing tools
Download mona
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 1.4-13-3 | 547.0 kB | 2,056.0 kB | [list of files] |
| amd64 | 1.4-13-3 | 435.1 kB | 1,484.0 kB | [list of files] |
| armel | 1.4-13-3 | 388.5 kB | 1,216.0 kB | [list of files] |
| armhf | 1.4-13-3 | 369.8 kB | 857.0 kB | [list of files] |
| avr32 (unofficial port) | 1.4-13-1 | 430.5 kB | 1,300.0 kB | [list of files] |
| hppa | 1.4-13-1 | 490.3 kB | 1,536.0 kB | [list of files] |
| hurd-i386 | 1.4-13-3 | 412.9 kB | 1,332.0 kB | [list of files] |
| i386 | 1.4-13-3 | 417.1 kB | 1,340.0 kB | [list of files] |
| ia64 | 1.4-13-3 | 683.0 kB | 3,216.0 kB | [list of files] |
| kfreebsd-amd64 | 1.4-13-3 | 435.3 kB | 1,392.0 kB | [list of files] |
| kfreebsd-i386 | 1.4-13-3 | 413.2 kB | 1,220.0 kB | [list of files] |
| m68k (unofficial port) | 1.4-10-1 | 342.8 kB | 1,228.0 kB | [list of files] |
| mips | 1.4-13-3 | 422.3 kB | 1,488.0 kB | [list of files] |
| mipsel | 1.4-13-3 | 421.0 kB | 1,488.0 kB | [list of files] |
| powerpc | 1.4-13-3 | 424.3 kB | 1,412.0 kB | [list of files] |
| powerpcspe (unofficial port) | 1.4-13-3 | 442.7 kB | 1,412.0 kB | [list of files] |
| s390 | 1.4-13-3 | 421.4 kB | 1,388.0 kB | [list of files] |
| s390x | 1.4-13-3 | 476.0 kB | 1,483.0 kB | [list of files] |
| sh4 (unofficial port) | 1.4-13-3 | 427.9 kB | 1,280.0 kB | [list of files] |
| sparc | 1.4-13-3 | 426.9 kB | 1,388.0 kB | [list of files] |
| sparc64 (unofficial port) | 1.4-13-3 | 448.5 kB | 1,564.0 kB | [list of files] |
