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

源码包：rumur（2023.11.27-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

跨平台、开源的构建系统
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

交互式高级面向对象语言（默认 python3 版本）
adep: strace

System call tracer

Download rumur

文件	大小（单位：kB）	MD5 校验码
rumur_2023.11.27-1.dsc	2.0 kB	681e1736a8107708d31f44b94a4a98cd
rumur_2023.11.27.orig.tar.gz	310.8 kB	7198b8408bcd3ef5ac5fbdbaf878137b
rumur_2023.11.27-1.debian.tar.xz	5.1 kB	21bf6916045813840c8ba6cfb8de6d44

Debian 软件包源码仓库（VCS：Git）: https://github.com/Smattr/rumur.git -b packaging/debian
Debian 软件包源码仓库（可在线浏览）: https://github.com/Smattr/rumur.git