pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mn10300-linux-gnu-objdump sh64-linux-gnu-ranlib euca-describe-volumes euca-upload-bundle statist r.surf.idw2 mk-parallel-dump cppo glx-create-context-default-minor-version qdbusxml2cpp-qt5 system-config-kickstart detect_sniffer6 qmgr lprdvi gemanx dumpdb bsspcli ffset levee rmmer_1 mono-find-requires nxsummary apt pt-fingerprint cking_suite pwrkap_main rtmpdump tau_analyze trash-list wmclockmon-config

© loginroot.com, 2016