всички настройки
bullseye  ] [  bookworm  ] [  sid  ]

Пакет-източник: rumur (2022.08.20-1)

Връзки за rumur

Ресурси за Debian:

Отговорник:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
rumur
model checker for the Murphi language

Други пакети, свързани с rumur

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download rumur

ФайлГолемина (в кБ)контролна сума MD5
rumur_2022.08.20-1.dsc 2,0 кБ 0118af51db8cb98e4684e3dc50fa1e76
rumur_2022.08.20.orig.tar.gz 306,4 кБ 6b6dbe6944e7c17b52e4b43ece6c9236
rumur_2022.08.20-1.debian.tar.xz 5,3 кБ 0e1e7fbcdb5170bf0691610f9a2a4349
Хранилище на изходния код на пакета (СКП: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://github.com/Smattr/rumur.git