7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
aegisub-git 3.2.2.r407.6f546951b-1 24 0.00 A general-purpose subtitle editor with ASS/SSA support wangqr
python-hickle 3.4.5-1 0 0.00 Hickle - a HDF5 based version of pickle wangqr
rumur 2020.02.17-1 0 0.00 Yet another Murphi model checker wangqr
rumur-git 2019.12.22.r0.ga1b6d61-1 0 0.00 Yet another Murphi model checker wangqr
wxgtk-common-dev 3.1.3-1 5 0.10 Common libraries and headers for wxgtk2 and wxgtk3 wangqr
wxgtk2-dev 3.1.3-1 5 0.10 GTK+2 implementation of wxWidgets API for GUI wangqr
wxgtk3-dev 3.1.3-1 5 0.10 GTK+3 implementation of wxWidgets API for GUI wangqr

7 packages found. Page 1 of 1.