Binary: agda

abrt-install-ccpp-hook astman objcopy cmodeltoseq erlc febootstrap-run nsdb-create-fsn gnome-panel gvgen r.sim.water libssp-0.dll cmsutil opari2-config pmloglabel vcoverage turba-convert-sql-shares-to-sqlng x2golistmounts zabbix_proxy akonadi_agent_server txt2png jaspextract to_erl fastaq_fasta_to_fastq createPYMB llvm-size ufl-analyse refdb_dos2unix squizz init_exp tabbed.meta