pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

refcounter faxstat mysql_secure_installation WritePlotcharData nss_wrapper.pl imp-admin-upgrade blendsquare pm-suspend bundle_image atmarpd arm-linux-gnueabihf-readelf bsdtar convertlinks clamassassin espctag gems-client gnunet-conversation v.net.spanningtree showtable lp-get-branches med-pharmacy uchime nepomukstorage nowhere pyFAI-integrate merge_mapping_files.py science-geography tau_compiler.sh fixcrio uwsgi_psgi

© loginroot.com, 2016