pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arm-linux-gnu-ranlib json.cgi dhcp_release euare-usermod glusterfs g_tcaf_d koji-containerbuild pvftormd nscd f2py DRAWEXE restorecon proofexecv groupmems shinken-discovery rubibtex parasite6 funzip airmon-ng cudf2lp bluedevil-monolithic demux intel_framebuffer_dump dccplsi fstabinfo name-client-2 pffexport taud vcf-to-ics zypp-refresh

© loginroot.com, 2016