Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

audiofile-config strip euform-describe-stacks mailq.exim bdftogd faxstat mmdblookup rnano razor-config tcpd ld cdfzoom compton YUV422ItoYUV420I lsdvb seqxref policy-rc.d.fai costab.o gfan_topolyhedralfan g_dyecoupl_d ovdb_init LeakCheck helloserver wandiocat supernode foo2oak __init__.py suricata CVInspector zypp-refresh