pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
x86_64-linux-gnu-c++filt
rollset
eric4-webbrowser
fig2eps
tfmtodit
kde-open
groupwarewizard
memcapable
mpiexec.hydra
arb_draw_indirect-api-errors
copyteximage-border
piranha-passwd
ph.x_mpich
rarian-sk-rebuild
zabbix_server_mysql
abootimg-pack-initrd
chaosreader
dt-createdb
drmips
v.support
jaaa
pbmtojbg
kwave.kss
maitreya7.bin
pegasus-status
pfsinexr
jwt3
literati
tcltk-depends
tv_grab_ch_search