pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

element-info gfal_testdir g.region myproxy-replicate futex-contention-record quakestat oldrdist rtcwake 6tunnel atmtcp autom4te2.59 gmod_fasta2gff3.pl bsf debci ispell-autobuildhash dolfin-plot glam2scan grdhisteq d.font gsmsiectl cmsearch kgeography mod_gearman_worker ProcessWinCE.pm jhat blogin sr atk6-flood_router6 nattribute wd_identify

© loginroot.com, 2016