pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dvisvgm gvfs-cat kinit iotk.x_openmpi wannier_ham.x salt-syndic ppmtolss16 vcf-indel-stats xvinfo mips-linux-gnu-ranlib calligrasheets cgminer dnsubmit dbifasta add_ds.pl ganeti-listrunner gcc-ranlib i686-w64-mingw32-gnat-posix comtest rrd-client-nagios-perfdata.pl archrepo2solv live-build metapixel arcacl pkgkde-vcs pspp gdal_edit.py rsyncd-disable tv_cat vmmouse_detect

© loginroot.com, 2016