pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
apbs-uhbd_asc2bin
augenrules
update-ca-trust
mount.fuse
fvwm-perllib
jpegicc
4channels
irxevent
mdb-hexdump
mpdkilljob
safe_camlp4
ipmish
pmiestatus
ext_framebuffer_multisample-line-smooth
tetgen
fmtutil
0desktop
pd-gem
g.access
grephistory
mikmatch_str
nathelper.pl
json.pl
mp3rename
psh
rabbit-command
runsv
tao
tmpreaper
u3-tool