pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bamToBed btrfs-zero-log carbon-path davix-ls v.out.svg hid-replay genfontmap.ps qp-encode.awk dc1394_grab_color_image matchpathcon tiffsplit lvmetad ld.bfd pk2bm fake_dns6d arm-none-eabi-size splitxyz hdfview create-so-layer.pl rw-by-pid-report litl_merge mini-dinstall windowfilter gmk_hy gord-int32 nencvalid transfermii_gui volti xen-python-path xtv

© loginroot.com, 2016