pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
pathfinderTree
clang
umount.ecryptfs
euare-userlistkeys
mpitests-osu_reduce_scatter
clog2TOslog2
ifdhandler
glx-pixmap-multi
pptp
gatherd
sick_lms_config
gsnap
bibtex8
xrdb
xrdp-sestest
activemq-admin
a2dissite
cdpr
edfbrowser
icewm-gnome
docheckgroups
brsscla
dh_perl_dbi
snpPosOnSource
python3-coverage
rebuildd-httpd
mkchdr
storeBackupls
yacas
tv_grab_it_dvb