pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

kxterm-g77 fence_xvm haddock gnome-panel-screenshot r.terraflow.short jnettop mod mpitests-osu_reduce_scatter mysqldumpslow arb_shader_atomic_counters-active-counters uml_mconsole cvstrac dcm2pnm debci-test dhcping drbl-gen-client-files update-drbl-client-kernel-from-server dump2geo start_fontypython cmalign cmafihe komrunning lpsactionrename blastall nec2 camp.png pdistreport3 cdvdcontrol scotch_esmumps-int32 xbindkeys

© loginroot.com, 2016