13 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
opam 1.2.2-1 74 5.55 OCaml Package Manager vbmithr
aspcud 1.9.1-1 39 5.20 Solver for package dependencies vbmithr
clasp 3.1.4-1 36 4.70 A conflict-driven nogood learning answer set solver. vbmithr
gringo 4.5.4-1 35 4.86 Grounding tools for (disjunctive) logic programs. vbmithr
esperanza-git r402.1b81dc2-1 23 0.00 Esperanza is a XMMS2 client written in C++/Qt4 and aims to be fully featured and easy to use vbmithr
seeks-git r2033.1168b3a-1 9 0.00 A social decentralized internet overlay for collaborative searches vbmithr
opam-git 1.1.0.484.g692cf53-1 8 0.02 OCaml Package Manager vbmithr
clingo 4.5.4-1 2 0.00 Grounding tools for (disjunctive) logic programs. vbmithr
xkeyboard-config-rub 2.5-1 1 0.00 X keyboard configuration files with russian bepo layout patch vbmithr
aspcud-svn r8385-1 1 0.00 Solver for package dependencies vbmithr
zbar-git iPhoneSDK.1.3.1.r10.g453a338-1 0 0.00 Application and library for reading bar codes from various sources vbmithr
tokyocabinet-git 1.4.48.r15.gd303368-1 0 0.00 a modern implementation of DBM vbmithr
quarry-git 20120330-1 0 0.00 Quarry is a multi-purpose GUI for several board games, at present Go, Amazons and Othello. vbmithr

13 packages found. Page 1 of 1.