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

© loginroot.com, 2016