tüm seçenekler
bullseye  ] [  bookworm  ] [  sid  ]

Kaynak Paket: rumur (2022.08.20-1)

rumur için bağlantılar

Debian Kaynakları:

Geliştirici:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
rumur
model checker for the Murphi language

rumur ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download rumur

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
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 Paket Kaynak Deposu (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Debian Paket Kaynak Deposu (Gezinilebilir)
https://github.com/Smattr/rumur.git