all options
bullseye  ] [  bookworm  ] [  sid  ]

Source Package: rumur (2020.12.20-1)

Links for rumur

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
rumur
model checker for the Murphi language

Other Packages Related to rumur

  • build-depends
  • build-depends-indep

Download rumur

FileSize (in kB)MD5 checksum
rumur_2020.12.20-1.dsc 2.0 kB e3bfe3c7eca2604e27f6a252c40e09f8
rumur_2020.12.20.orig.tar.gz 292.9 kB 1a8cb4037420297106d79c2d6b17816c
rumur_2020.12.20-1.debian.tar.xz 5.1 kB 8cb11927799d9fe1993cfc5f079e765d
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