alla flaggor
bullseye  ] [  bookworm  ] [  sid  ]

Källkodspaket: rumur (2022.08.20-1)

Länkar för rumur

Debianresurser:

Ansvarig:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
rumur
model checker for the Murphi language

Andra paket besläktade med rumur

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download rumur

FilStorlek (i kbyte)MD5-kontrollsumma
rumur_2022.08.20-1.dsc 2,0 kbyte 0118af51db8cb98e4684e3dc50fa1e76
rumur_2022.08.20.orig.tar.gz 306,4 kbyte 6b6dbe6944e7c17b52e4b43ece6c9236
rumur_2022.08.20-1.debian.tar.xz 5,3 kbyte 0e1e7fbcdb5170bf0691610f9a2a4349
Debians paketkällkodsarkiv- (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Debians paketkällkodsarkiv (blädderbart)
https://github.com/Smattr/rumur.git