pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

score-linux-gnu-ar bltk_wl_player_make_binary conmuxd vpddecode exonerate-server kreversi ncrack pgmcrater pbzcat pmie_daily pdfedit ptardiff git-bloom-import-upstream nokogiri will_cpp_segfault powerpc-linux-gnu-ld.bfd bootchartd check_postgres_txn_idle folks-import ghostess_universal_gui jack_mix_box mia-raw2image mpmv mknmz nwipe optcomp-r xmlpatterns passenger-memory-stats stealthmail.gz avisplit

© loginroot.com, 2016