pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autom4te ia64-linux-gnu-gprof vpddecode gstat-fb fvwm-menu-desktop gnumeric-1.10.10 lircd i686-w64-mingw32-gcc-ar dmcs openvas-adduser pvserver_mpich pflags xmlpatterns sslstrip Cone adt-virt-chroot ocs-live create_compressed_fs print_client ttunique gdal_list_corners ftpwatch v.out.pov obexpushd otrs.PostMasterClient.pl pj_dump gem2.1 dynect.rb tmake server-resume

© loginroot.com, 2016