pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amrecover
b43-ivaldump
dpguesser
iptables-save-1.4.7
tiffinfo
pmnsdel
pdnssec
pmap
lhapdf-query
findtr
dynmat.x_mpich
rarian-sk-gen-uuid
SleighWorkerWrapper.sh
wbemai
tpmtoken_protect
bc
airspy_si5351c
dh_linktree
e2freefrag
filefrag
idl6.lut
vector.o
add_text
hedgewars
funnel
otrs.RebuildConfig.pl
pegasus-kickstart
mmk_m3
swfcombine
tetraview