pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
antiword.bin
cas
simfsm
gitosis-run-hook
editdiff
co
rdist
recoll
ardour2
vfgrep
cdck
doxyindexer
emesene
r.average
r.drain
wwwifetch
idevicescreenshot
avenger.deliver
ng-latin
nova-api
serialver
pksetmask
rlmgr
qdbus
usearch61
rt-email-dashboards-4
dnsmadeeasy.rb
runlim
smp_ena_dis_zoning
teem-mrender