Überspringen der Navigation

Packages

• Über Debian
• Debian erhalten
• Unterstützung
• Developers' Corner

 / Pakete / forky (testing) / Quellcode / misc / rumur

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

Links für rumur

Debian-Ressourcen:

• Fehlerberichte
• Entwicklerinformationen
• Debian-Changelog
• Copyright-Datei
• Debian-Quellcode-Depot (Git)
• Debian Patch-Überblick

Betreuer:

• Matthew Fernandez (QS-Seite)

Externe Ressourcen:

• Homepage [github.com]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

rumur

model checker for the Murphi language

Andere Pakete mit Bezug zu rumur

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Paket nicht verfügbar

• adep: bison

  YACC-kompatibler Parsergenerator

• adep: cmake

  Plattformübergreifendes, quelloffenes Make-System

• adep: flex

  Schneller Generator für Tokenizer (lexical analyzer)

• adep: libfl-dev

  Schneller Generator für Tokenizer (lexical analyzer) - statische Bibliothek

• adep: libgmp-dev

  Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge

• adep: libxml2-utils

  GNOME-XML-Bibliothek - Dienstprogramme

• 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

  Theorembeweiser von Microsoft Research

Download rumur

Datei	Größe (in kB)	MD5-Prüfsumme
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

Quellcode-Depot des Debian-Pakets (VCS: Git)

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

Quellcode-Depot des Debian-Pakets (browsable)

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