pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gfal_unittest gkermit r.bitpattern tigge_name guilt-init cc ktimetracker ganesha_stats cmsutil nsec3dig semodule_package genreflex siggen userformat wvunpack colormake-short green.lut g-ir-scanner v.kernel hostap_diag licensing mpccut node osgscreencapture pdlzip pkcs11-dump rspamc sbnc amk_m2-int64 rib_show_routes

© loginroot.com, 2016