Binary: agda

objcopy h8300-linux-gnu-strings ddcmon pdf_list_callbacks wpa_supplicant dumprecs midi2abc yaps nsopenssl.so i586-linux-gnu-as buildd-vlog clonezilla mk-build-deps dot2tex dwww-index++ orblist arm-none-eabi-gcc-nm ipropd-slave hime-gtab2cin libifstat-config parl rdf_store_add_file.pl mkdtskel fftnsi pt_util pyp cloudstack.rb crxvt unhide odt2docbook