pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

remove-ds.pl stop-dirsrv euare-userlistcerts fixparts r.neighbors securetty llvm-extract isadump strip mpif77 myproxy-logon dbmerge2 ld1.x_mpich baycomepp arm-none-eabi-size psi-cd-hit-local charybdis-mkpasswd makesmtpaccess fai flowblade gdalsrsinfo hardened-ld KWStyle y4mdenoise uchime fsck.ocfs2 audio_test tegaki-convert systunedump vspace

© loginroot.com, 2016