6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
python-hickle 3.4.5-1 0 0.00 Hickle - a HDF5 based version of pickle wangqr
rumur 2019.11.09-1 0 0.00 Yet another Murphi model checker wangqr
rumur-git 2019.11.09.r4.gc04d79d-1 0 0.00 Yet another Murphi model checker wangqr
wxgtk-common-dev 3.1.3-1 5 0.87 Common libraries and headers for wxgtk2 and wxgtk3 wangqr
wxgtk2-dev 3.1.3-1 5 0.87 GTK+2 implementation of wxWidgets API for GUI wangqr
wxgtk3-dev 3.1.3-1 5 0.87 GTK+3 implementation of wxWidgets API for GUI wangqr

6 packages found. Page 1 of 1.