pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

m32r-linux-gnu-as x86_64-linux-gnu-readelf condor_master g.tempfile h5repack x86_64-w64-mingw32-g++ mount.ntfs-fuse opari2 pdepend rg-teximage-02 projwfc.x_openmpi spicec denial6 qnoded make_ext4fs apertium-rewxml apngopt check_postgres_logfile cpufreqd diodload fet gcjh-4.9 regcompare.bin marisa-predictive-search pegasus-gridftp base.py dh_python-ply mif2rtf synaptic-pkexec wa_keyring

© loginroot.com, 2016