все параметры
bullseye  ] [  bookworm  ] [  sid  ]

Пакет исходного кода: rumur (2022.03.05-1)

Ссылки для rumur

Ресурсы Debian:

Сопровождающий:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
rumur
model checker for the Murphi language

Другие пакеты, относящиеся к rumur

  • для сборки
  • build-depends-indep

Download rumur

ФайлРазмер (в Кб)Контрольная сумма MD5
rumur_2022.03.05-1.dsc 2,0 Кб 2402f1721b9e1611d3cdac945ed85205
rumur_2022.03.05.orig.tar.gz 306,2 Кб c186b1b86e1eac9dc985ce9d94a7276e
rumur_2022.03.05-1.debian.tar.xz 5,3 Кб eae3d3d375612cec57f39c4f858b8ce3
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://github.com/Smattr/rumur.git