4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
rumur-git 2019.12.22.r0.ga1b6d61-1 0 0.00 Yet another Murphi model checker wangqr 2019-12-24 17:52 (UTC)
rumur 2023.05.21-1 0 0.00 Yet another Murphi model checker wangqr 2023-06-12 00:32 (UTC)
python-hickle 5.0.2-1 0 0.00 Hickle - a HDF5 based version of pickle wangqr 2023-11-09 13:43 (UTC)
openrsync-git 0.5.0.r111.g8b61216-1 0 0.00 BSD-licensed implementation of rsync wangqr 2020-05-24 21:04 (UTC)

4 packages found. Page 1 of 1.