Binary: agda

corosync-cfgtool ia64-linux-gnu-cpp c++ dumpdb nautilus-file-management-properties arb_transform_feedback2-change-objects-while-paused futurize repodiff nrparms powerpc64le-linux-gnu-dwp composite-gui eric5 r.texture slice2cpp ioreplay kuvert llvm-config mafft-fftnsi mh_unpatchpoms ml-burg obexautofs vewend openshot-render cws-4d.x wireless_ext text2ngram pydoc3 ytdl sdfapi vdb-decrypt.2.3.5