pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

getds gfal-legacy-register gpgv2 split2po espdiff horde-clear-cache arb_clear_buffer_object-null-data sg_safte factor besside-ng dgrep style ctermd envset.cmd gmerlin_transcoder hatari-winuae dunedoxynize tmx-tokenize 2nash mate-power-backlight-helper pt-summary pfstmo_reinhard05 __init__.py swift nmds.py start_parallel_jobs.py nntp-pull snget vct splrun

© loginroot.com, 2016