skip the navigation

Packages

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

 / Packages / sid (unstable) / Source / misc / rumur

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

Links for rumur

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainer:

• Matthew Fernandez (QA Page)

External Resources:

• Homepage [github.com]

The following binary packages are built from this source package:

rumur

model checker for the Murphi language

Other Packages Related to rumur

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Package not available

• adep: bison

  YACC-compatible parser generator

• adep: cmake

  cross-platform, open-source make system

• adep: flex

  fast lexical analyzer generator

• adep: libfl-dev

  static library for flex (a fast lexical analyzer generator)

• adep: libgmp-dev

  Multiprecision arithmetic library developers tools

• 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

File	Size (in kB)	MD5 checksum
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

Debian Package Source Repository (VCS: Git)

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

Debian Package Source Repository (Browsable)

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