pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-dxmath fold cpanget dhclient codiff rlogin-cwd getconf cpu_usage ndmetis64 ntfswipe pbo-readpixels-small xfig-plain adjtimexconfig aubioquiet bttrack.bittorrent bld-mrtg freebsd-cksum fstminer h5math libwebsockets-test-echo rawlog-grabber openambit linguist regfiletype scratch hexkinya lslocks vfu wmcpuload tv_grab_pt_meo

© loginroot.com, 2016