pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
man4x
glite-lb-notify
pllist
ronn-nodejs
ntfscp
onionshare-gui
pspax
imp-bounce-spam
po2ts
echo
aa-mergeprof
sdcclib
lpc
msbar
bardecode
flashcache_destroy
gfan_buchberger
grdproject
hatari
intel_dump_decode
polarssl_gen_random_ctr_drbg
tulip-config
mate-cpufreq-selector
gss_clnt_send_err
mark_service_failed
lqt_transcode
recovermov
atk6-sendpeesmp6
wrap..exec
text2pcap