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

原始碼套件：rumur（2022.08.20-1）

rumur 的相關連結

Debian 的資源：

維護者：

Matthew Fernandez (QA 頁面)

外部的資源：

主頁 [github.com]

本原始碼套件構建了以下這些二進位制包：

rumur: model checker for the Murphi language

其他與 rumur 有關的套件

構建架構特定包依賴

構建架構獨立包依賴

adep: debhelper-compat (= 12)

套件暫時不可用
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: python3

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

System call tracer

Download rumur

檔案	大小（單位：kB）	MD5 校驗碼
rumur_2022.08.20-1.dsc	2。0 kB	0118af51db8cb98e4684e3dc50fa1e76
rumur_2022.08.20.orig.tar.gz	306。4 kB	6b6dbe6944e7c17b52e4b43ece6c9236
rumur_2022.08.20-1.debian.tar.xz	5。3 kB	0e1e7fbcdb5170bf0691610f9a2a4349

Debian 套件原始碼倉庫（VCS：Git）: https://github.com/Smattr/rumur.git -b packaging/debian
Debian 套件原始碼倉庫（可線上瀏覽）: https://github.com/Smattr/rumur.git