pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ghostscript x_list gnome-session-properties gcc akonadi_maildir_resource idevicebackup arb_draw_instanced-negative-elements-type ext_framebuffer_multisample-negative-copypixels gl-3.2-clear-no-buffers qmlprofiler-qt5 wannier_plot.x_openmpi try-from port-helper mhgui freefoam-debugSwitches xquery2xmlplan HaCid.pl last-dotplot cgicc-config lxsettings-daemon mia-2dseriestovolume ossim-cmm drone nef-5d.x pypar2 relion_particle_sort gcv-int64 run.x86-linux.a figlet-toilet mkfs.minix

© loginroot.com, 2016