pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byobu-prompt csplit eric4-webbrowser docgenerator hsqldbRunUtil icctrans gkbd-indicator-plugins-capplet fbo-missing-attachment-clear glsl-fs-fragcoord-zw-ortho pygtk-codegen-2.0 pot2po udunits will_segfault xdvipdfmx xdt-autogen xgra ld.bfd buildnotify check_postgres_query_runtime x86_64-linux-gnu-gdc-4.9 remotegv i18nspector icinga2-disable-feature gen-ctl-io otfprofile public.pl bluetooth_scan dgscat doit3 assign_taxonomy.py

© loginroot.com, 2016