pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph-osd dirac_YUV420Down2x2 dirac_YUV420pt75filter rfdir ihealth makecert nautilus-autorun-software secon wannier_plot.x sediffx fortran_count xfsdump xsupplicant brighton camlp5o.opt designate-api iterate_rates freefoam-surfaceMeshTriangulate phoa2d gpiv_revert indi_lx200fs2 proofserva doc_loadbios owserver paprass r10k rdiff-backup-fs dgnova dupvserver xrsh

© loginroot.com, 2016