pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

safe_asterisk cf-agent datanommer-dump dpm-replicate exigrep gnomevfs-copy db.drivers g.proj intel_nc_read pgmslice pcl_obj_rec_ransac_hash_table designer-qt5 __init__.py apsfilter-bug htsearch cdreset basename stssearch streams.o gfxboot-font hcal hol-light intel_vga_write ladi-system-tray hboot ldns-config nilfs-resize jarsigner racc2y vyum

© loginroot.com, 2016