pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
element-info
gfal_testdir
g.region
myproxy-replicate
futex-contention-record
quakestat
oldrdist
rtcwake
6tunnel
atmtcp
autom4te2.59
gmod_fasta2gff3.pl
bsf
debci
ispell-autobuildhash
dolfin-plot
glam2scan
grdhisteq
d.font
gsmsiectl
cmsearch
kgeography
mod_gearman_worker
ProcessWinCE.pm
jhat
blogin
sr
atk6-flood_router6
nattribute
wd_identify