12 packages found. Page 1 of 1.

Category Name Version Votes Description Maintainer
devel kroc-devel-git 20150215-1 0 Kent Retargetable occam Compiler. An occam-pi compiler. bezirg
devel kroc-git 1.6.0.r0.gd975751-2 0 Kent Retargetable occam Compiler. An occam-pi compiler. bezirg
devel mod_rpaf 20140903-2 6 rpaf is for backend Apache servers what mod_proxy_add_forward is for frontend Apache servers bezirg
devel swi-prolog-devel 7.3.1-1 8 Prolog environment (development version) bezirg
devel swi-prolog-devel-git 7.3.1.r62.g80809e1-1 1 Prolog environment (latest git development version) bezirg
devel swi-prolog-git 7.2.0.r1.ga0999a2-1 5 Prolog environment (latest git stable version) bezirg
science hol kananaskis.9-2 2 Interactive proof assistant for higher order logic bezirg
science hol-git 20140926-2 2 Interactive proof assistant for higher order logic [latest Git development version] bezirg
science mcrl2 201409.1-1 1 A formal specification language with an associated toolset. bezirg
kernels linux-vaio-usb 3.14.4-3 0 Fix to enable USB2.0 ports of Sony VAIO T series laptops. May work for other VAIO laptops as well. bezirg
kernels linux-vaio-usb-docs 3.14.4-3 0 Documentation for accompanying linux-vaio-usb kernel bezirg
kernels linux-vaio-usb-headers 3.14.4-3 0 Headers for accompanying linux-vaio-usb kernel bezirg

12 packages found. Page 1 of 1.