all options
bullseye  ] [  sid  ]

Source Package: rumur (2020.09.06-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.09.06-1.dsc 2.0 kB 36903311143dc8d33df415088349b6a0
rumur_2020.09.06.orig.tar.gz 285.5 kB 67235c17c8835f8adf3046a7b3e84341
rumur_2020.09.06-1.debian.tar.xz 5.1 kB 53771238acaaa39ad8f307528ead1090
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