| Age | Commit message | Author |
|---|---|---|
| 2019-12-25 | Update check script | Qirui Wang |
| 2019-11-11 | Add SMT solvers dependencies | Qirui Wang |
| 2019-06-30 | Add valgrind to checkdepends | Qirui Wang |
| 2019-03-20 | Fix makedepends | Qirui Wang |
| 2019-03-17 | Initial commit | Qirui Wang |
| Clone | ||
| https://aur.archlinux.org/rumur-git.git/ | ||