all options
bullseye  ] [  bookworm  ] [  sid  ]

Source Package: rumur (2022.03.05-1)

Links for rumur

Debian Resources:


External Resources:

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

Other Packages Related to rumur

  • build-depends
  • build-depends-indep

Download rumur

FileSize (in kB)MD5 checksum
rumur_2022.03.05-1.dsc 2.0 kB 2402f1721b9e1611d3cdac945ed85205
rumur_2022.03.05.orig.tar.gz 306.2 kB c186b1b86e1eac9dc985ce9d94a7276e
rumur_2022.03.05-1.debian.tar.xz 5.3 kB eae3d3d375612cec57f39c4f858b8ce3
Debian Package Source Repository (VCS: Git) -b packaging/debian
Debian Package Source Repository (Browsable)