pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mips64-linux-gnu-strings x86_energy_perf_policy db2x_docbook2texi fluxbox-generate_menu gnome-screensaver-command gvfs-copy ghostview kvg mpiman pcl_transform_point_cloud pmcheck tcpick handler.pyo vigra-config vglconnect dbus-send installdeb-ispell dmucs gbrowse_metadb_config gfs2_fsck grcc show-diff ntpq ocamldumpobj rplayd smalt add-apt-repository swfrender tomoyo-sortpolicy http@

© loginroot.com, 2016