pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
turbostat
czmq_selftest
eclipse
gst-launch-0.10
rmdtovbox
munin-node
neso
opendkim-genzone
pmsocks
pilot-read-screenshot
simplevisor-loop
clunfslock
drbl-ocs
xrctl
dictconv
dms_restoredb
gforth-itc
kcm
tcpcli
dzil
tkx-ed
config_list
mpc
owncloudcmd
prxs
2to3-3.4
spd-say
aes_calc
alias_manager.pl
umegaya-ddc-ping