pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

solid2fastq.pl euscale-describe-scheduled-actions euscale-enable-metrics-collection mips64-linux-gnu-gcc gimp-remote-2.6 zsoelim psk-crack intel_upload_blit_large_map kblackbox grmiregistry test_asyncnotif pmatop dbcolsregression arb_fragment_program-minmax qdoc sediffx shptest hda-verb test_ext4fixup apertium-validate-tagger objdump bp_panalysis.pl fdmountd freefoam-chtMultiRegionSimple freefoam-clearPolyMesh tsd2a32 gnupod_convert_OGG rime_dict_manager pcl_modeler pkcrop

© loginroot.com, 2016