Register | Log in

rumur

model checker for the Murphi language

Choose email to subscribe with

general

source: rumur (main)
version: 2020.12.20-1
maintainer: Matthew Fernandez (DMD)
arch: any
std-ver: 4.5.1
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

testing: 2020.12.20-1
unstable: 2020.12.20-1

versioned links

2020.12.20-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

rumur

action needed

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

In debian/watch no matching files for watch line
  https://github.com/Smattr/rumur/releases /Smattr/rumur/archive/v?(\d\S+)\.tar\.gz

Created: 2021-03-21 Last update: 2021-06-21 11:11

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2019-09-14 Last update: 2019-09-14 00:41

news

[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: 0

links

homepage
lintian
buildd: logs, checks, clang, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2020.12.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