pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bglmemrun
mips64-linux-gnu-ld
berkeley_db43_svc
rlm_ippool_tool
glacier-cli
purple-client-example
viewfax
mpirun_dbg.ddd
gen_delete_while_active
glsl-explicit-location-03
pyhoca-gui
pyrsa-sign
pycolor
ldactoasc
system-config-firewall
xfs_mkfile
xml-xread
a56
dia-normal-integrated
rejarForAnalysis
gcc-4.4
xpidllex.py
ldc2
ecppll
fingerw
llvm-nm
simadb_cli
i686-w64-mingw32-ocamlc
saslpluginviewer
xfce4-notifyd-config