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

源码包：rumur（2020.12.20-1）

rumur 的相关链接

Debian 的资源：

维护者：

Matthew Fernandez (QA 页面)

外部的资源：

主页 [github.com]

本源码包构建了以下这些二进制包：

rumur: model checker for the Murphi language

其他与 rumur 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 12)

软件包暂时不可用
adep: bison (>= 3.0)

YACC-compatible parser generator
adep: cmake (>= 3.1)

cross-platform, open-source make system
adep: flex (>= 2.5.35)

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 (>= 3.6)

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

System call tracer

Download rumur

文件	大小（单位：kB）	MD5 校验码
rumur_2020.12.20-1.dsc	2.0 kB	e3bfe3c7eca2604e27f6a252c40e09f8
rumur_2020.12.20.orig.tar.gz	292.9 kB	1a8cb4037420297106d79c2d6b17816c
rumur_2020.12.20-1.debian.tar.xz	5.1 kB	8cb11927799d9fe1993cfc5f079e765d

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