pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mkbindic
eulb-configure-healthcheck
ftstring
gluster
virsh
rmcp_ping
failed-syscalls-by-pid-report
glsl-1.50-vs-named-block-no-modify
pppstats
xbacklight
xloadimage
apt-offline-gui
esi
isotptun
mbfind
kdevplatform_shell_environment.sh
kwalletcli
rep-config
simage-config
mb-applet-wireless
nautilus-actions-config-tool
qemu-ppc64le-static
uclust
rpld-listq
rtmpgw
amf-to-stl
splat
helicos-load.2.3.5
echo_supervisord_conf
tac_plus