全部搜索项
bullseye  ] [  bookworm  ] [  sid  ]

源码包:rumur(2022.08.20-1)

rumur 的相关链接

Debian 的资源:

维护者:

外部的资源:

本源码包构建了以下这些二进制包:
rumur
model checker for the Murphi language

其他与 rumur 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

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 软件包源码仓库(VCSGit
https://github.com/Smattr/rumur.git -b packaging/debian
Debian 软件包源码仓库(可在线浏览)
https://github.com/Smattr/rumur.git