pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mn10300-linux-gnu-addr2line
shred
__init__.pyc
rollchk
ppc-koji
ksvgtopng
convert.pyo
mpic++
mpirun.ch_gen2.args
f77_f2c
htmldiff
salt-syndic
pwconv
isomarkboot
ao-sky-flash
rastrip
drbd-overview
freefoam-mixtureAdiabaticFlameT
gjots2html
japa
jconvolver
sh.shared
assa-hexdump-3.5
vipsprofile
nautic
nvramtool
spectoascii
gord
vlna
z88v