pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alpha-linux-gnu-readelf
h8300-linux-gnu-ld.bfd
enum_chmLib
mkdgiff
dumpe2fs
eric4
imsettings-xim
javaldx
fs-textureOffset-2D
initialized-vbo
turbo_davidson.x_openmpi
rt-validator
v4l-conf
apper-appsetup
apt-cudf
newgem.tt
daisy-player
elilo
cutgextract
xml_from_edoc.escript
isenkram-autoinstall-firmware
key-mon
ideviceimagemounter
magics-config
avg_showfont
snp_store
seyon-emu
tau_throttle.sh
signature_digest_utility
visolate