pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gnome-keybinding-properties
msggrep
stream
ncl_filedump
fix-qdf
sg_xcopy
tmda-sendmail
tmux-top
xfig-Xaw3d
spattach
cf-execd
lp
debiandoc2latexpdf
GSSpeechServer
ltpclock
comedi_calibrate
s3get
etf2ly
mate-shares-admin-pkexec
mighty-mkindex
yuvmedianfilter
oarremoveresource
swaml
tkdeskclient
SpectraFilterWindowMower
tcyait
vbim
vzpid
catmaster
capitalize