pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ranlib
json.cgi
mpitests-osu_scatterv
mpitests-osu_get_bw
rltraceroute6
pyrsa-priv2pub
subunit-filter
qftp
Rdiff
sdcc-s51
gfal_srm_ifce_version
arm-linux-gnueabi-ar
kill_ctnnetwork
dfgrep
restart-aolserver
gomidas
hxprintlinks
fulla
icmstart
tracetopends
mppbcc
notes-mobile
ts2m2ts
pngphoon
showtree
dissimilarity_mtx_stats.py
tora
imresize
wordplay
zoomer