pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bfin-linux-gnu-c++filt
sh64-linux-gnu-objcopy
timetrans
ctracer
i.cluster
guile-snarf
loopctrl
avcenc
mlpack_sparse_coding
ppmtopict
qpid-queue-stats
oldrdist
sg_reset
hostbyname
tmda-address
abc2midi
gnatelim
clusterssh
weights
start_fontypython
jets3t-cockpitlite
codepage
njb-delfile
dump_acr_nema
nnusage
pcp_proc_info
volume_test
slurmd
atk6-detect-new-ip6
mkindex