pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
avr-gcc
qsh
g_vanhove_d
less
mk-query-digest
opencv_haartraining
pcl_gp3_surface
csv_to_db
horde-queue-run-tasks
mips-linux-gnu-size
powerpc-linux-gnu-addr2line
clang-3.5
dh_clistrip
cmigemo
fastDNAml_loop
fping6
policyeditor
amsshell
kitenkanjibrowser
y4mshift
mutt-patched
app.psgi
pdfposter
xinput_resource
rings3d
sarg-reports
science-meteorology
sim4
slonik_print_preamble
recwav