Tarkennettu haku
bullseye  ] [  bookworm  ] [  sid  ]

Source Package: rumur (2022.08.20-1)

Links for rumur

Debian-palvelut:

Ylläpitäjä:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
rumur
model checker for the Murphi language

Muut pakettiin rumur liittyvät paketit

  • build-depends
  • build-depends-indep

Download rumur

TiedostoKoko (kt)MD5-tarkiste
rumur_2022.08.20-1.dsc 2.0 kt 0118af51db8cb98e4684e3dc50fa1e76
rumur_2022.08.20.orig.tar.gz 306.4 kt 6b6dbe6944e7c17b52e4b43ece6c9236
rumur_2022.08.20-1.debian.tar.xz 5.3 kt 0e1e7fbcdb5170bf0691610f9a2a4349
Debian Package Source Repository (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Debian Package Source Repository (Browsable)
https://github.com/Smattr/rumur.git