pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-nm cloud-init-per dd eu-ar gnome-system-log munch jack_midi_dump mkrfc2734 whirlpoolsum ati_draw_buffers-arbfp retrace-server-reposync sane-config odbc_config autoheader2.13 calligraauthor mount.dapfs gfan_initialforms pto_merge talkd smcinit mojomojo_fastcgi.pl moc testMP3Streamer lksh nova-baremetal-deploy-helper single_rarefaction.py uic vcdxminfo vera++ zkCleanup.sh

© loginroot.com, 2016