pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

banner sh-linux-gnu-objdump cht fts-config-del v.lidar.edgedetection zforce myisamlog ib_read_lat piglit-merge-results tcpdump uuxqt ccal grep-status andump patindex faust2eps mk_angndx_d gst-inspect-1.0 jxplorer stemwords litl_split install-menu trove-conductor ragel scilab font2swf wopl2ofm raw2wav pastoob xemacs-21.4.22-nomule

© loginroot.com, 2016