pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
BackupPC_sendEmail
multiBamCov
pluginviewer
netgen-mesher
pcc
dbstats
rds-ping
tm_lush
apmd
fcitx-remote
freedv
gbrowse_change_passwd
keytool
ibam
inoticoming
pduclient
mate-display-properties-install-systemwide
mknbi-menu
nabi
pegjs
osggeometryshaders
lookat
ppsctl
pycardsyncer
sidplayfp
slonik_move_set
sntop
softflowd
pmpost
tulip_perspective