全部搜尋項
bullseye  ] [  bookworm  ] [  sid  ]

原始碼套件:rumur(2022.03.05-1)

rumur 的相關連結

Debian 的資源:

維護者:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
rumur
model checker for the Murphi language

其他與 rumur 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download rumur

檔案大小(單位:kB)MD5 校驗碼
rumur_2022.03.05-1.dsc 2。0 kB 2402f1721b9e1611d3cdac945ed85205
rumur_2022.03.05.orig.tar.gz 306。2 kB c186b1b86e1eac9dc985ce9d94a7276e
rumur_2022.03.05-1.debian.tar.xz 5。3 kB eae3d3d375612cec57f39c4f858b8ce3
Debian 套件原始碼倉庫(VCSGit
https://github.com/Smattr/rumur.git -b packaging/debian
Debian 套件原始碼倉庫(可線上瀏覽)
https://github.com/Smattr/rumur.git