pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
clamav-config
db_recover
r.mapcalc
qresub
qmod
smpswriter
orbit-config
arb_uniform_buffer_object-negative-bindbufferrange-range
moc-qt5
profiles
satyr
reposctl
bp_seq_length
desproxy-inetd
dhis-genid
gnulib-tool
i.smap
scandeps
hlansi.pl
qemu-system-s390x
rxstack
insegt
slony_logshipper
smtpprox-loopprevent
unicharset_extractor
vmount
svdrpsend
bioinfo
mergecap
tv_grab_it_dvb