pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
csgrep
dps-config
guilt-fold
sr
start_kdeinit_wrapper
watch-mimedefang
pgmnoise
fence_legacy
sepolgen-ifgen
smp_phy_test
pocount
xzegrep
hcidump
dh_gconf
folks-import
wnnstat
remove-tel
miz3e
immstool
gts2stl
prctl
predate
org-ruby
scmail-deliver
shepherd
tessrun
add-apt-repository
abo
qjadeo
xorp_rtrmgr