pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ds-logpipe.py avr32-linux-gnu-c++filt sh64-linux-gnu-strip gxint-g77 gfs2_grow tzdata-update mtp-getplaylist pwmake ncargfile numastat fbo-missing-attachment-blit fdo10370 designer R mppprof nrparms germinate-update-metapackage img2grd gr_plot_psd_c db.columns primorial mbt ubinize nxdir osgfont dh_pyppd designer pdfopen veusz_listen windowlab

© loginroot.com, 2016