[ buster ]
Пакет исходного кода: mcrl2 (201409.0-1)
Ссылки для mcrl2
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Репозиторий исходного кода Debian (Subversion)
- Отслеживание заплат Debian
Сопровождающие:
Внешние ресурсы:
- Сайт [www.mcrl2.org]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- mcrl2
- formal specification language toolset
Другие пакеты, относящиеся к mcrl2
|
|
-
- adep: debhelper (>= 5)
- вспомогательные программы для debian/rules
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: libboost-system-dev (>= 1.55)
- Operating system (e.g. diagnostics support) library (default version)
-
- adep: libglu1-mesa-dev (>= 7.0.1)
- Mesa OpenGL utility library -- development files
-
- adep: libgl2ps-dev
- Lib providing high quality vector output for OpenGL application, dev files
-
- adep: qt4-qmake
- утилита для генерации make-файлов (Qt 4)
-
- adep: libqtcore4
- базовый модуль библиотеки Qt 4 (без графических элементов)
-
- adep: libqtgui4
- компонент библиотеки Qt 4, предоставляющий графические элементы
-
- adep: libqt4-xml
- модуль XML для Qt 4
-
- adep: libqt4-opengl
- Qt 4 OpenGL module
-
- adep: libqt4-dev
- Qt 4 development files
-
- adep: libqt4-opengl-dev
- Qt 4 OpenGL library development files
Download mcrl2
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| mcrl2_201409.0-1.dsc | 1,4 Кб | b56a003f0922a4ae4b9e6a24acf50853 |
| mcrl2_201409.0.orig.tar.gz | 17 048,2 Кб | a138131d377c9740a7d3ec4d058c0081 |
| mcrl2_201409.0-1.debian.tar.xz | 6,5 Кб | 7be56304b3728493b92ef41f017bb4d6 |
- Репозиторий пакетов исходного кода Debian (VCS: Subversion)
- https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
- Репозиторий пакетов исходного кода Debian (доступен просмотр)
- https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/