pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ppi multiIntersectBed sivtest ikiwiki-mass-rebuild lxc-snapshot mawk ivtscd netdev-times-report gl-1.0-edgeflag-const rcc smbtar login bscan mips-linux-gnu-ld volume_reconstruction freefoam-insideCells finfield.o gcc-4.9 cleanupDatabase.pl italc gmerlin_visualizer_slave lp-check-membership flash_otp_dump nifti_tool sendmail.mandrill qtdemo slgui squidtaild tomoyo-findtemp dcmcrawl

© loginroot.com, 2016