rumur
model checker for the Murphi language
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/rumur
general
source
rumur
(
extra
,
misc
)
version
2023.11.27-1
maint
Matthew Fernandez
std-ver
4.6.2
VCS
Git
(
browse
)
versions
oldstable
2020.12.20-1
stable
2022.08.20-1
testing
2023.11.27-1
unstable
2023.11.27-1
Ubuntu
2023.11.27-1
binaries
rumur
(
0 bugs
:
0
,
0
,
0
,
0
)
model checker for the Murphi language
todo
Build log checks
report
1 warning
about this package.
news
RSS
[2024-02-03]
rumur 2023.11.27-1 MIGRATED to testing
(Britney)
[2024-01-29]
Accepted 2023.11.27-1 in unstable (medium)
(Debian FTP Masters)
[2023-07-27]
rumur 2023.05.21-1 MIGRATED to testing
(Britney)
[2023-07-22]
Accepted 2023.05.21-1 in unstable (medium)
(Debian FTP Masters)
[2022-08-27]
rumur 2022.08.20-1 MIGRATED to testing
(Britney)
[2022-08-21]
Accepted 2022.08.20-1 in unstable (medium)
(Debian FTP Masters)
[2022-03-15]
rumur 2022.03.05-1 MIGRATED to testing
(Britney)
[2022-03-09]
Accepted 2022.03.05-1 in unstable (medium)
(Debian FTP Masters)
[2022-02-05]
rumur REMOVED from testing
(Britney)
[2021-12-29]
Accepted 2021.12.27-1 in unstable (medium)
(Debian FTP Masters)
[2021-10-09]
rumur 2021.09.29-1 MIGRATED to testing
(Britney)
[2021-10-04]
Accepted 2021.09.29-1 in unstable (medium)
(Debian FTP Masters)
[2021-09-10]
rumur 2021.08.28-1 MIGRATED to testing
(Britney)
[2021-09-04]
Accepted 2021.08.28-1 in unstable (medium)
(Debian FTP Masters)
[2020-12-28]
rumur 2020.12.20-1 MIGRATED to testing
(Britney)
[2020-12-23]
Accepted 2020.12.20-1 in unstable (medium)
(Debian FTP Masters)
[2020-09-13]
rumur 2020.09.06-1 MIGRATED to testing
(Britney)
[2020-09-08]
Accepted 2020.09.06-1 in unstable (medium)
(Debian FTP Masters)
[2020-08-02]
Accepted 2020.07.28-1 in unstable (medium)
(Debian FTP Masters)
[2020-06-05]
rumur 2020.05.27-1 MIGRATED to testing
(Britney)
[2020-05-31]
Accepted 2020.05.27-1 in unstable (medium)
(Debian FTP Masters)
[2020-05-23]
Accepted 2020.05.18-1 in unstable (medium)
(Debian FTP Masters)
[2020-04-28]
Accepted 2020.04.26-1 in unstable (medium)
(Debian FTP Masters)
[2020-04-20]
Accepted 2020.04.05-1 in unstable (medium)
(Debian FTP Masters)
[2020-03-16]
Accepted 2020.03.12-1 in unstable (medium)
(Debian FTP Masters)
[2020-02-22]
rumur 2020.02.17-1 MIGRATED to testing
(Britney)
[2020-02-19]
Accepted 2020.02.17-1 in unstable (medium)
(Debian FTP Masters)
[2020-02-03]
rumur 2020.01.27-1 MIGRATED to testing
(Britney)
[2020-01-29]
Accepted 2020.01.27-1 in unstable (medium)
(Debian FTP Masters)
[2020-01-25]
rumur 2020.01.11-1 MIGRATED to testing
(Britney)
bugs
all
2
RC
0
I&N
1
M&W
1
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
2020.12.20-1
2022.08.20-1
2023.11.27-1
2023.11.27-1