pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

c6x-linux-gnu-ld.bfd fasd r3.in.ascii hdfimport icon-slicer ftp mydnscheck-mysql arcrm exrstdattr git-bloom-import-upstream kpsewhich koi8rxterm mipsel-linux-gnu-ld.bfd svscan translate_cmip3 pepdigest jv-convert-4.9 gnunet-fs-gtk inoticoming qaptworker macho-dump-3.5 cli.js eerrorn ocr4gamera runsnake mtst-long sweethome3d-textures-editor teem-unu tyq velveth_63_long

© loginroot.com, 2016