pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dig
fslint-gui
pnmtopnm
fbo-1d
fetch_file
qmake
rpminfo
rtorrent
sg_get_config
grpunconv
synergys
auth2db-alert
x2sys_datalist
x86_64-w64-mingw32-gnatls-win32
gnome-shell-perf-tool
hp-search-mac
indi_trutech_wheel
gts-config
guestunmount
idzebra-config-2.0
kf-slam
policyd-weight
proxsmtpd
trsg
qmail-start
stimfit
trpg
vagalumectl
sigdigits
yaskkserv_hairy