Go
Register
|
Log in
Subscribe
rumur
model checker for the Murphi language
×
Choose email to subscribe with
general
source:
rumur
(
main
)
version:
2025.
08.
31-
1
maintainer:
Matthew Fernandez
(
DMD
)
arch:
any
std-ver:
4.7.2
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
2020.
12.
20-
1
oldstable:
2022.
08.
20-
1
stable:
2025.
02.
02-
1
testing:
2025.
08.
31-
1
unstable:
2025.
08.
31-
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]
2025.
02.
02-
1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
2025.
08.
31-
1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
rumur
action needed
Fails to build
during reproducibility testing
normal
A package
building reproducibly
enables third parties to verify that the source matches the distributed binaries. It has been
identified
that this source package produced different results, failed to build or had other issues in a
test environment
. Please read about
how to improve the situation
!
news
[rss feed]
[
2025-09-06
]
rumur 2025.08.31-1 MIGRATED to testing
(
Debian testing watch
)
[
2025-09-04
]
Accepted rumur 2025.08.31-1 (source) into unstable
(
Matthew Fernandez
)
(signed by:
Jeroen Ploemen
)
[
2025-02-28
]
rumur 2025.02.02-1 MIGRATED to testing
(
Debian testing watch
)
[
2025-02-23
]
Accepted rumur 2025.02.02-1 (source) into unstable
(
Matthew Fernandez
)
(signed by:
Jeroen Ploemen
)
[
2024-07-16
]
rumur 2024.05.07-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-07-14
]
Accepted rumur 2024.05.07-1 (source) into unstable
(
Matthew Fernandez
)
(signed by:
Pierre Gruet
)
[
2024-02-03
]
rumur 2023.11.27-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-01-29
]
Accepted rumur 2023.11.27-1 (source) into unstable
(
Matthew Fernandez
)
(signed by:
Tobias Frost
)
[
2023-07-27
]
rumur 2023.05.21-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-07-22
]
Accepted rumur 2023.05.21-1 (source) into unstable
(
Matthew Fernandez
)
(signed by:
bage@debian.org
)
[
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
)
1
2
bugs
[bug history graph]
all:
0
links
homepage
lintian
buildd:
logs
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
debci
ubuntu
[Information about Ubuntu for Debian Developers]
version:
2025.02.02-1
![[bug history graph]](https://qa.debian.org/data/bts/graphs/r/rumur.png){kind=link}