pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

tile-linux-gnu-addr2line fvwm-root h5cc kmk_echo esedbinfo lockfile-remove i686-w64-mingw32-nm mpitests-IMB-EXT ntfs-3g importexport_binary.x_openmpi tor xemacs-nox autoclass ceilometer-agent-compute fossil kdtquery gxtuner idraw funnel lurker-list mpiexec.mpich oar_phoenix pfspad prctl pilfile.py sxr-server tau-config uvcdynctrl-0.2.4 vv_treemap mutual

© loginroot.com, 2016