Debian Package Tracker
Register | Log in
Subscribe

rumur

model checker for the Murphi language

Choose email to subscribe with

general
  • source: rumur (main)
  • version: 2022.08.20-1
  • maintainer: Matthew Fernandez (DMD)
  • arch: any
  • std-ver: 4.6.1.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • stable: 2020.12.20-1
  • testing: 2022.08.20-1
  • unstable: 2022.08.20-1
versioned links
  • 2020.12.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 2022.08.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • rumur
action needed
Build log checks report 1 warning low
Build log checks report 1 warning
Created: 2022-08-21 Last update: 2022-08-21 19:31
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.6.1.0).
Created: 2022-12-17 Last update: 2022-12-17 19:17
news
[rss feed]
  • [2022-08-27] rumur 2022.08.20-1 MIGRATED to testing (Debian testing watch)
  • [2022-08-21] Accepted rumur 2022.08.20-1 (source) into unstable (Matthew Fernandez) (signed by: Tobias Frost)
  • [2022-03-15] rumur 2022.03.05-1 MIGRATED to testing (Debian testing watch)
  • [2022-03-09] Accepted rumur 2022.03.05-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2022-02-05] rumur REMOVED from testing (Debian testing watch)
  • [2021-12-29] Accepted rumur 2021.12.27-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2021-10-09] rumur 2021.09.29-1 MIGRATED to testing (Debian testing watch)
  • [2021-10-04] Accepted rumur 2021.09.29-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2021-09-10] rumur 2021.08.28-1 MIGRATED to testing (Debian testing watch)
  • [2021-09-04] Accepted rumur 2021.08.28-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-12-28] rumur 2020.12.20-1 MIGRATED to testing (Debian testing watch)
  • [2020-12-23] Accepted rumur 2020.12.20-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-09-13] rumur 2020.09.06-1 MIGRATED to testing (Debian testing watch)
  • [2020-09-08] Accepted rumur 2020.09.06-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-08-02] Accepted rumur 2020.07.28-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-06-05] rumur 2020.05.27-1 MIGRATED to testing (Debian testing watch)
  • [2020-05-31] Accepted rumur 2020.05.27-1 (source) into unstable (Matthew Fernandez) (signed by: Adrian Bunk)
  • [2020-05-23] Accepted rumur 2020.05.18-1 (source) into unstable (Matthew Fernandez) (signed by: Adrian Bunk)
  • [2020-04-28] Accepted rumur 2020.04.26-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-04-20] Accepted rumur 2020.04.05-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-03-16] Accepted rumur 2020.03.12-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-02-22] rumur 2020.02.17-1 MIGRATED to testing (Debian testing watch)
  • [2020-02-19] Accepted rumur 2020.02.17-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-02-03] rumur 2020.01.27-1 MIGRATED to testing (Debian testing watch)
  • [2020-01-29] Accepted rumur 2020.01.27-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2020-01-25] rumur 2020.01.11-1 MIGRATED to testing (Debian testing watch)
  • [2020-01-17] Accepted rumur 2020.01.11-1 (source) into unstable (Matthew Fernandez) (signed by: Adam Borowski)
  • [2019-12-26] Accepted rumur 2019.12.22-1 (source) into unstable (Matthew Fernandez) (signed by: Sandro Tosi)
  • [2019-09-13] Accepted rumur 2019.02.04-1 (source amd64) into unstable, unstable (Matthew Fernandez) (signed by: Jonathan Carter)
bugs [bug history graph]
  • all: 2
  • RC: 0
  • I&N: 1
  • M&W: 1
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian
  • buildd: logs, checks, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 2022.08.20-1

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing