pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

infokey proxy sx ytoceta-gfortran glx-create-context-indirect-es2-profile nv_conditional_render-blitframebuffer uudecode voms-proxy-init ImagingCxxTests xfig-Xaw3d xfsm amd-fsinfo btrace cdfscale mk_nifti_hdr string.o gr_psd_plot_f fieldpath-gen create-bridge-sql.pl idzebra-config-2.0 mia-3deval-transformquantity eventgenerator ocp-vcsa osgcamera vtkWrapPython-6.1 remuco-gmusicbrowser gamma4scanimage skksearch dviluatex zstreamdump

© loginroot.com, 2016