12 packages found. Page 1 of 1.

Category Name Version Votes Description Maintainer
devel z3-bin 4.1-1 10 An automatic theorem prover orphan
office lexmarkz-cups-bin 1-10 9 Lexmark Z35, Z55, Z65, Z600 and Z700 Printer Drivers for CUPS bigeagle
lib yazpp 1.2.1-3 4 A toolkit supporting the development of Z39.50/SRW/SRU clients and servers - C++ bindings petelewis
devel z3-git r1891.ac21ffe-1 3 Z3 is a high-performance theorem prover being developed at Microsoft Research d.woffinden
lib ruby-zoom 0.4.1-2 2 A Ruby binding to the Z39.50 Object-Orientation Model orphan
lib perl-net-z3950-zoom 1.280.0-1 2 Perl extension for invoking the ZOOM-C API. yhager
devel z3-unstable-git 20150413-1 1 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
games sqrxz3 1.05r-2 1 A fast paced jump'n'run (Part III - 'Adventure for Love') carstene1ns
lib perl-uri-openurl 0.4.6-1 1 Parse and construct OpenURL's (NISO Z39.88-2004) jnbek
devel z3-stable-git 20150513-1 0 Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) Ice_Phoenix
system cjlz35le-cups 2.0_1-1 0 Lexmark z35 printer driver for CUPS orphan
devel chicken-z3 1.41-4 0 Chicken Scheme Egg: A gzip (RFC1952) compression and decompression library orphan

12 packages found. Page 1 of 1.