pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cris-linux-gnu-strings gmtstitch kfloppy perl.prov.files pci sip-redirect reposync WarpImageMultiTransform kermit-sshsub ecaccess-file-move pastel.lut freecontact bool.o gpsmon ifile.inject.header kernel-packageconfig reduce-font rcvtty.fixup i586-mingw32msvc-objdump mtkbabel keydctl owx-get packagesearch nef-11d.x proguard pure-ftpd-ldap sigfind crypt_passwd.pl atk6-redir6 xtermset

© loginroot.com, 2016