[ buster ]
Zdrojový balík: mcrl2 (201409.0-1)
Odkazy pre mcrl2
Zdroje Debian:
- Hlásenia chýb
- Developer Information
- Záznam zmien Debian
- Autori a licencia
- Zdrojové úložisko Debianu (Subversion)
- Sledovanie záplat Debian
Správcovia:
Externé zdroje:
- Domovská stránka [www.mcrl2.org]
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- mcrl2
- formal specification language toolset
Ostatné balíky súvisiace s balíkom mcrl2
|
|
-
- adep: debhelper (>= 5)
- pomocné programy pre debian/rules
-
- adep: cmake
- multiplatformný open source systém make
-
- adep: libboost-system-dev (>= 1.55)
- knižnica operačného systému (napr. podpora diagnostiky) - štandardná verzia
-
- adep: libglu1-mesa-dev (>= 7.0.1)
- Mesa, pomocná knižnica OpenGL - vývojové súbory
-
- adep: libgl2ps-dev
- Lib providing high quality vector output for OpenGL application, dev files
-
- adep: qt4-qmake
- Qt 4 - nástroj qmake na tvorbu súborov Makefile
-
- adep: libqtcore4
- Qt 4 - základný modul
-
- adep: libqtgui4
- modul grafického používateľského rozhrania Qt 4
-
- adep: libqt4-xml
- Qt 4 - modul XML
-
- adep: libqt4-opengl
- modul OpenGL Qt 4
-
- adep: libqt4-dev
- vývojové súbory Qt 4
-
- adep: libqt4-opengl-dev
- Qt 4 - knižnica OpenGL - vývojové súbory
Download mcrl2
| Súbor | Veľkosť (v kB) | kontrolný súčet MD5 |
|---|---|---|
| mcrl2_201409.0-1.dsc | 1.4 kB | b56a003f0922a4ae4b9e6a24acf50853 |
| mcrl2_201409.0.orig.tar.gz | 17,048.2 kB | a138131d377c9740a7d3ec4d058c0081 |
| mcrl2_201409.0-1.debian.tar.xz | 6.5 kB | 7be56304b3728493b92ef41f017bb4d6 |
- Úložisko zdrojových balíkov Debianu (VCS: Subversion)
- https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
- Úložisko zdrojových balíkov Debianu (možno prezerať)
- https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/