Binary: coqweb

hcitool cupsd darkplaces-quake-sdl euca-get-console-output frv-linux-gnu-gcov hp-clean orbit-name-server extractVOMS.pl python-argcomplete-check-easy-install-script syslog-ng-ctl xemacs-xft xfce4-settings-helper aexver SettingsWidgets.py encfssh dhcp-edit cli-framework r.external jalv.qt mcomix vtkWrapClientServer bits.py targetctl-python2 except rxgettext sff-dump tau_compiler vtag pascal wmdrawer