all options
sid  ]

Source Package: rumur (2019.02.04-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_2019.02.04-1.dsc 1.9 kB ba40fe957b87dfacbc58354d75cd7399
rumur_2019.02.04.orig.tar.gz 113.8 kB f148439bd3cf147e8d243e09e6763f1a
rumur_2019.02.04-1.debian.tar.xz 2.6 kB fb7ab922f62ebadf04571095643612d1
Debian Package Source Repository (VCS: Git)
https://github.com/Smattr/rumur.git -b debian/packaging
Debian Package Source Repository (Browsable)
https://github.com/Smattr/rumur.git