Überspringen der Navigation

Packages

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

 / Pakete / sid (unstable) / Quellcode / misc / rumur

[  bullseye  ] [  bookworm  ] [  trixie  ] [  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: strace

  System call tracer

• adep: z3

  Theorembeweiser von Microsoft Research

Download rumur

Datei	Größe (in kB)	MD5-Prüfsumme
rumur_2024.05.07-1.dsc	2,0 kB	9d145c433eb3bb8d5184b834cf6cdd41
rumur_2024.05.07.orig.tar.gz	310,3 kB	7072f1eaa7cebc5d7ae41fef0268fb89
rumur_2024.05.07-1.debian.tar.xz	6,1 kB	b3aefa898888acaaed149555480481c9

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