pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
show_profile_stats.pyc
mergeBed
dlm_controld
condor_power
dnstracer
freight-add
kcbench
nacl-sha512
pbmtoxbm
pk-debuginfo-install
dnsbulktest
arb_vertex_program-getenv4d-with-error
glean
tpm_setclearable
ld.bfd
cinnamon-control-center
update-debian-edu-artwork-joy
randobj
gnupod_addsong
gnuserv
gwaei
nhmmscan
njb-getusage
xpi-pack
obmenu
pt-align
execsnoop
cluster_quality.py
shellcheck
xentrace