6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
python-hickle 3.4.4-1 0 0.00 Hickle - a HDF5 based version of pickle wangqr
rumur 2019.08.18-1 0 0.00 Yet another Murphi model checker wangqr
rumur-git 2019.06.30.r2.g53f20cc-1 0 0.00 Yet another Murphi model checker wangqr
wxgtk-common-dev 3.1.2-1 4 0.70 Common libraries and headers for wxgtk2 and wxgtk3 wangqr
wxgtk2-dev 3.1.2-1 4 0.70 GTK+2 implementation of wxWidgets API for GUI wangqr
wxgtk3-dev 3.1.2-1 4 0.70 GTK+3 implementation of wxWidgets API for GUI wangqr

6 packages found. Page 1 of 1.