Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: rumur 2023.05.21-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/rumur.git (read-only, click to copy)
Package Base:	rumur
Description:	Yet another Murphi model checker
Upstream URL:	https://github.com/Smattr/rumur
Licenses:	custom:UNLICENSE
Submitter:	wangqr
Maintainer:	wangqr
Last Packager:	wangqr
Votes:	0
Popularity:	0.000000
First Submitted:	2019-03-17 10:39 (UTC)
Last Updated:	2023-06-12 00:32 (UTC)

Dependencies (9)

gmp (gmp-hg^AUR)
python (python32^AUR, python37^AUR, python310^AUR)
bison (byacc-bison^AUR, bison-git^AUR) (make)
cmake (cmake-git^AUR) (make)
flex (flex-git^AUR) (make)
valgrind (valgrind-git^AUR) (check)
z3 (z3-java^AUR, z3-git^AUR) (check)
cvc4 (cvc4-git^AUR) (optional) – Alternative SMT solver
z3 (z3-java^AUR, z3-git^AUR) (optional) – Preferred SMT solver

Required by (0)

Sources (1)

https://github.com/Smattr/rumur/archive/v2023.05.21.tar.gz

Latest Comments

CyanoKobalamyne commented on 2023-01-24 22:16 (UTC)

I had to add DEBUGINFOD_URLS="https://debuginfod.archlinux.org" to the command in check(). Otherwise I got errors about Valgrind not being able to set up a function redirection for strlen.