pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
tcppm
ppc-koji
openocd
pcre-config
arb_uniform_buffer_object-bindbuffer-general-point
ps_mem
bundle
sdcc-savr
dvipos
x2gosuspend-session
xnec2c
mheardd
grab-account
chronicle-rss-importer
db5.3_sql
cvmsh2
gnunet-conversation-test
kkc
mpirun_lam
nec2
olsr_switch
osgoutline
populations
assistant
shprewind
tao2wav
reverse-build-depends
upower
v4l2loopback-ctl
yasat