pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

hp-pqdiag pgmmorphconv analysis_example_mpich jx_mpich NiAudioSample pvrenderserver_mpich ext_transform_feedback-output-type asimut ao-dumpflash btcompletedir.bittorrent cl tfm x86_64-w64-mingw32-cpp-posix gdc-4.9 convert_sym trjcat_d hmmbuild kalign iperl log4cpp-config mia-3dgetsize nifti_stats nlanr-tr-stat gendist dgtst-int32 img_cat update-language-lua texdiff tos-serial-debug volti-remote

© loginroot.com, 2016