55 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer
vim-gnome 8.1.0022-1 4 0.00 Vi Improved, a highly configurable, improved version of the vi text editor (with Gnome GUI) kaptoxic
why3-git 0.72.r3740.g406e7f0-2 1 0.00 The next generation of the former software verification platform Why kaptoxic
xnap 2.5r3-1 0 0.00 OpenNap Client. kaptoxic
yofrankie 1.1-5 6 0.00 A 3D platform game based on the bully rodent in Big Buck Bunny kaptoxic
z3-bin 4.5.0-2 6 0.00 An automatic high-performance theorem prover kaptoxic

55 packages found. Page 2 of 2.

« First ‹ Previous 1 2