pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

powerpc64-linux-gnu-objdump ctest cached dpconv gfix unprocessed_raw oiiotool createTables.php arb_compute_shader-api_errors windowoverlap testr assistant_adp vglserver_config arm-linux-gnueabi-nm nm cmus cvs-debuild gjar-4.9 globus-job-manager-lock-test wam2ma izcoordinator noweave openmsx-catapult osganimationmorph openteacher mm-test filedumper mord-long ucspi-proxy-log z88e

© loginroot.com, 2016