pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

rad_counter sb nntpgrab_server_qt nsd-control arb_shading_language_420pack-multiple-layout-qualifiers vs-point_size-zero pyrsa-keygen-2 __init__.pyo spicy-stats Arrays TestInstantiator blackbox editfilenames crtmpserver GSSpeechServer redshift-gtk geldkarte luadoc mpb-split mrtg-ping-probe muddleftpd nslint ntpq osgmemorytest profnet_snapfun javaldx viva vrms xfce4-notifyd-config xorp_profiler

© loginroot.com, 2016