pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ApbsClient.py dpkg-divert gvfs-mkdir gzexe oggz-sort mpitests-osu_get_latency openslide-show-properties dbfilestripcomments scotch_gmk_hy scotch_gscat msp430-ld clang-check mailtool update-hostname-from-ip dyn_erl fmtree cgps tpserv gl.pl xpstops njb-files miraconvert nuitka-run bg.png rendercheck_test polygraph-polyprobe map-services rat-media sml xjdicconfig

© loginroot.com, 2016