原始碼套件： rumur (2020.02.17-1)

rumur 的相關超連結

Trisquel 的資源：

• 報告問題
• Changelog
• 版權文件
• Debian 原始碼倉庫 (Git)

維護者：

• Matthew Fernandez

Original Maintainer:

• Matthew Fernandez

外部的資源：

• 主頁 [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)

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

• adep: strace

  System call tracer

Download rumur

Debian 套件原始碼倉庫(VCS: Git)

https://github.com/Smattr/rumur.git -b packaging/debian

Debian 套件原始碼倉庫(可在線瀏覽)

https://github.com/Smattr/rumur.git