pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

sh64-linux-gnu-readelf euca-delete-keypair fedfs-delete-junction alpha-linux-gnu-cpp gspath hp-linefeedcal x86_64-w64-mingw32-elfedit mpiexec.hydra pnmcat perl.req qml1plugindump xsetpointer arista-gtk bins_edit cdebootstrap-static installSchema.py bsd-csh backgr.lut fpm2 update-gummiboot keystone-all rmmer mkc_check_common.sh muscand openjade1.3 mori-4d.x edfviewer ssvncviewer tau_compiler unixclient

© loginroot.com, 2016