pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

b43-fwdump ar h5import plainrsa-gen kni_sensor unlzf kronolith-agenda arb_compute_shader-work_group_size_too_large evol-2 vnc2swf-play qmlimportscanner sipdialer sssd wall bpm create-debian-live regress edamname freefoam-subsetMesh idxmerge r.composite adios_config gda-list-config-5.0 pk1sign lxsession-db qemu-armeb-static sfood action_snmpv1trap ttf2ufm xcf2pnm

© loginroot.com, 2016