toutes les options
bullseye  ] [  bookworm  ] [  sid  ]

Paquet source : rumur (2020.12.20-1)

Liens pour rumur

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
rumur
model checker for the Murphi language

Autres paquets associés à rumur

  • build-depends
  • build-depends-indep

Download rumur

FichierTaille (en ko)Somme MD5
rumur_2020.12.20-1.dsc 2,0 ko e3bfe3c7eca2604e27f6a252c40e09f8
rumur_2020.12.20.orig.tar.gz 292,9 ko 1a8cb4037420297106d79c2d6b17816c
rumur_2020.12.20-1.debian.tar.xz 5,1 ko 8cb11927799d9fe1993cfc5f079e765d
Dépôt Debian des paquets source (VCS: Git)
https://github.com/Smattr/rumur.git -b packaging/debian
Dépôt Debian des paquets source (interface web)
https://github.com/Smattr/rumur.git