preskočiť navigáciu

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Balíky / sid (unstable) / Zdroj / misc / rumur

[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]

Odkazy pre rumur

Zdroje Debian:

• Hlásenia chýb
• Developer Information
• Záznam zmien Debian
• Autori a licencia
• Zdrojové úložisko Debianu (Git)
• Sledovanie záplat Debian

Správca:

• Matthew Fernandez (Stránka QA)

Externé zdroje:

• Domovská stránka [github.com]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

rumur

model checker for the Murphi language

Ostatné balíky súvisiace s balíkom rumur

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Balík nie je dostupný

• adep: bison

  generátor syntaktických analyzátorov kompatibilný s YACC

• adep: cmake

  multiplatformný open source systém make

• adep: flex

  rýchly generátor lexikálnych analyzátorov

• adep: libfl-dev

  statická knižnica pre Flex (rýchly generátor lexikálnych analyzátorov)

• adep: libgmp-dev

  aritmetická knižnica s viacnásobnou presnosťou - vývojové nástroje

• adep: libxml2-utils

  GNOME XML library - utilities

• adep: python3

  interactive high-level object-oriented language (default python3 version)

• adep: python3-pytest

  Simple, powerful testing in Python3

• adep: strace

  System call tracer

• adep: z3

  theorem prover from Microsoft Research

Download rumur

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
rumur_2025.08.31-1.dsc	2.0 kB	c3ecd918f9460aafeff30a23436dbf2d
rumur_2025.08.31.orig.tar.gz	346.1 kB	f966deb8cb24a4742411826db25f0a0b
rumur_2025.08.31-1.debian.tar.xz	6.4 kB	9d976311754a3b0989800f17f5464717

Úložisko zdrojových balíkov Debianu (VCS: Git)

https://github.com/Smattr/rumur.git -b packaging/debian

Úložisko zdrojových balíkov Debianu (možno prezerať)

https://github.com/Smattr/rumur/tree/packaging/debian