pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

named-journalprint h8300-linux-gnu-strings sparc64-linux-gnu-objdump bluefish waitmax update_firmware gpaw-mpisim ipv6logstats withsctp pgmtolispm stonith_admin rpmquery rackup shuffle ecaccess-gateway-list.bat eliloalt ibus-sharada-braille readpdf PParse mhc-sync zcov-scan.gz xbuild.exe.config f1tattoo samba sparkformat prefield tomoyo-auditd raw loginfo-handler getcol

© loginroot.com, 2016