2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
hol kananaskis.10-3 3 0.06 Interactive proof assistant for higher order logic bezirg
mod_rpaf 20150923-1 6 0.00 rpaf is for backend Apache servers what mod_proxy_add_forward is for frontend Apache servers bezirg

2 packages found. Page 1 of 1.