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 euare-groupaddpolicy pdfoutline grdedit xmlparse v.overlay cvs-clean noncvslist nebula ppmshift pcl_lum manhole smssend xrdp-keygen 3dldf biber fatresize gnuradio-config-info htntlm ovdb_server jack_net_slave mugshot osgcallback osgtexture2D pegasus-plots polygraph-cdb bouncequeue welcome2l winff-gtk2 olsr_clear_database

© loginroot.com, 2016