pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aclocal-1.11 m68k-linux-gnu-readelf msgfilter v.distance mksh mpitests-osu_latency ext_framebuffer_multisample-alpha-blending fixpspps rho updatedb.sh amavisd-new-cronjob powerpc-linux-gnu-strip cdfmaskdmp hcheck precord.o glosstex grub-choose-default hlint essidscan synaptiks warp tmxgrep mia-3ddistance-stats pcl_ni_trajkovic bits.py plt-r5rs rpld-queueple taucxx mathspic yorick

© loginroot.com, 2016