pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

coretest_blit2 typemaker mongorestore novnc_server pmcat array-depth-roundtrip ext_framebuffer_multisample-negative-copyteximage glx-create-context-indirect-es2-profile podofoimpose pasteurize-2 qlalr recordmydesktop skin winpdb zim powerpc-linux-gnu-strings ctnnetwork dcml2pnm dpatch-edit-patch FreeCAD glam2format ii assa-genesis-3.5 mount.crypt mafft-profile png2yuv mopidy mark_service_started uuidcdef xenpvnetboot

© loginroot.com, 2016