Binary: agda

nm eric4-doc start_erl imsettings-start mcpp mm3d perl.prov arb_vertex_buffer_object-ib-subdata-sync qml1plugindump-qt5 scrollkeeper-get-extended-content-list wbemdc mf-nowin wlassistant apspreview cdfstdevts debget-madison lpdomatic freefoam-buoyantSimple geogebra hyantesite jh_generateorbitdir virt-login-shell ppmtoy4m setpci pcl_openni_3d_convex_hull floppy_test dh_numpy3 ct.pl sunxi-fel t-prot