pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ttf2svg hppa64-linux-gnu-objdump foomatic-fix-xml gmtdefaults applygnupgdefaults g_sorient_d rbldns pcl_xyz2pcd GET add-environment-variables.cmd wmlmove x2gofeaturelist xapian-tcpsrv xsetmode archmage atftp arm-linux-gnueabihf-strings clamd splitdns323fw ttyrec2ansi sync mpskip oarnodes oggTranscode pmlock perlpanel-applet-install aimk qmail-send memcacheSync.php zsh4-static

© loginroot.com, 2016