pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
as
objcopy
euare-userdelpolicy
gperf
qsub
g_densorder
zfgrep
kswitch
iscsiuio
neso
streaming_paraview
generate-patches.pl
a2ps-lpr-wrapper
strip
cdficediags
clementine-tagreader
dictdconfig
filter
folks-import
icinga2
ifstat
makepp_build_cache_control
ml-yacc.x86-linux
filter_tracks
ofonod
pmnewlog
se_apt-get
pristine-gz
ssr
smd-client