pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mktemp getent globus-gass-cache-destroy g_density_d cckdcomp lgroupmod transcheck mysql_client_test nebula piglit-summary arb_transform_feedback2-draw-auto glsl-fs-fogcolor-statechange texredefine binfmtf95-interpreter clstr_renumber dpkg-www-installer eric5_configure start_erl freefoam-dsmc r.support.stats mdrun_mpi.openmpi kadu testRTSPClient llvm-dwarfdump-3.5 verif_dep.sh manderlbot oe2fps aspline sredird tv_grab_combiner

© loginroot.com, 2016