Binary: coqdep

qquota pcb_calculator svm-checkdata.py sgmlsasp r.js draw-batch razor-config-desktop xml-xparse apertium-desodt retrv changetrack checkgmail parse-table ocs-expand-mbr-pt coinst eflite cpgplot hroller gr_read_file_metadata count unseen osganimationskinning pads-report qbrew sweethome3d-textures-editor esreport resizepart nedpos uniprint z88