pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bzdiff mimedefang-multiplexor ppmtopcx ntptime obconformer obex_tcp ext_framebuffer_multisample-turn-on-off hiz gww.x_mpich nnsd postw90.x wm-oldmenu2new x2y cdfsstconv ceph_test_rgw_manifest imapd flix gbsinfo glue-sprite gift-dtd-to-keywords.pl typefortune h2cli routel osganimationmorph f10rancid rabema_evaluate smp_zone_lock ldap_alias_manager.pl PrecursorIonSelector mytool

© loginroot.com, 2016