pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bltk mergerepo_c cssclean etop mcat pamstack mozhttpd rpmdep xdg-email Xnest cucumber bardecode freefoam-uncoupledKinematicParcel x86_64-w64-mingw32-gnatbind-posix gozerbot-udp gsmsmsspool latex-mk mate-terminal mia-2dtrackpixelmovement mdtool otrs.LoaderCache.pl pcl_obj2pcd pmlogger_daily vifn helical rumor sdas6808 variant_comp uhd_cal_tx_iq_balance filext

© loginroot.com, 2016