pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amplot powerpc64-linux-gnu-elfedit bedup diff3 euscale-create-auto-scaling-group gnome-keyring gvfs-set-attribute typemaker2 hp_alm2map_cxx cupsdoprint dcopstart mpirun.args mysql_find_rows phpab ext_framebuffer_multisample-upsample psad po2php pbd install_db.inc c-icap-client dot-forward typer ffindex_unpack i586-mingw32msvc-c++ jffs2reader asn2gb circuits.bench3 s3qlcp fst-mor smd-push

© loginroot.com, 2016