pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
remote_gahp
berkeley_db_svc
gmtset
wsdl2h
keuphoria.kss
as
mtr
rbldns
glsl-fwidth
get_sloc_details
extlinux
luit
seroute
gmod_bulkfiles.pl
jack-dssi-host
mpgprobe
no_dot_erlang.boot
evilwm
flashbench-erase
arabic.txt
gshhg_dp
pscoast
r.sim.sediment
wv2-config
lts2lps
olsr_switch
seqdiag3
rfoo-rconsole
easy_plot
AccurateMassSearch