Binary: picosat

cris-linux-gnu-size m68k-linux-gnu-ld.bfd gobject-query qsub ibportstate vp8_simple_encoder ode-config CMCRevoke pdfinfo soundstretch scomes frm_xfrd anaddb turnutils_peer dphys-swapfile transition grdlandmask g-ir-doc-tool i.ifft gtk3-demo-application ipnfw prelude-admin ofonod p3scan protpars fsoids rpmkeys ssft.sh ttfdump totalopenstation-cli-parser