[ buster ]
[ Източник: mcrl2 ]
Пакет: mcrl2 (201409.0-1 и други)
Връзки за mcrl2
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник mcrl2.
Отговорници:
Външни препратки:
- Начална страница [www.mcrl2.org]
Подобни пакети:
formal specification language toolset
mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.
This toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.
Други пакети, свързани с mcrl2
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.3) [i386]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libgcc1 (>= 1:3.0) [arm64]
- GCC support library
- dep: libgcc1 (>= 1:3.4) [amd64, i386]
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libgl1
- Vendor neutral GL dispatch library -- legacy GL support
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- или libglu1
- виртуален пакет, предлаган от libglu1-mesa
-
- dep: libqt4-opengl (>= 4:4.5.3)
- Qt 4 OpenGL module
-
- dep: libqt4-xml (>= 4:4.5.3)
- Qt 4 XML module
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4 core module
-
- dep: libqtgui4 (>= 4:4.8.0)
- Qt 4 GUI module
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ Library v3
Изтегляне на mcrl2
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| amd64 | 201409.0-1+b2 | 7 302,5 кБ | 41 872,0 кБ | [списък на файловете] |
| arm64 | 201409.0-1+b2 | 6 638,1 кБ | 40 384,0 кБ | [списък на файловете] |
| armhf | 201409.0-1+b2 | 6 137,8 кБ | 28 190,0 кБ | [списък на файловете] |
| i386 | 201409.0-1+b2 | 7 580,3 кБ | 42 003,0 кБ | [списък на файловете] |