pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gobject-query iec16022 mkdirhier mpiman mysql-zrm-extract-backup vreg_latex2html horde-run-task ext_framebuffer_multisample-blit-mismatched-formats cmp e2mtiff gertty i686-w64-mingw32-c++-win32 hp48cc bam2bedgraph directfb-config httprecorder selfserv lavaddwav service_set_value pauker pinot Pool ampliconnoise.py multiple_rarefactions.py splogger mred-text plt-r5rs texifyasm tos-channelgen patextract

© loginroot.com, 2016