» Ubuntu » Packages » questing (25.10) » Source » misc » rumur
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Source Package: rumur (2025.02.02-1) [universe]

Links for rumur

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Matthew Fernandez

It should generally not be necessary for users to contact the original maintainer.

External Resources:

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

FileSize (in kB)MD5 checksum
rumur_2025.02.02-1.dsc 2.0 kB 2efe525f9df529c49e1d196ae7e2ea90
rumur_2025.02.02.orig.tar.gz 344.8 kB c2712743b834311c2fce4ae603d2bfd7
rumur_2025.02.02-1.debian.tar.xz 6.3 kB 4c6a6a70f999a7bd42f717b6ac7898ce
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