7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
opentheory 1.3r20160515-1 1 0.00 a tool for processing higher-order logic theory packages xrchz
pacnews-git r1062.1a83f29-1 14 0.12 Find .pacnew files and merge them with vimdiff xrchz
petite-chez-scheme 8.4-1 11 0.00 High-speed Scheme interpreter (non-threaded version) xrchz
polyml-fixes-git 5.6r2078.167eaf7-1 5 0.00 Poly/ML implementation of Standard ML (latest release + fixes) xrchz
squolem 2.02-1 1 0.00 Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates xrchz
vim-inkpot-git r9.b86ad4d-1 2 0.00 Inkpot, a dark scheme for GUI and 88/256 colour terms xrchz
xcursor-ghost 20040711-1 6 0.39 Subtle grey cursors with soft edges xrchz

7 packages found. Page 1 of 1.