pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
b43-ivaldump
beakerlib-storage
host
ld.bfd
disper
ttfcoverage
unix-lpr.sh
logresolve
pvfecho
ppmmix
gltpd
linc-cleanup-sockets
orbit-config
ppod2txt
fbo-blit-scaled-linear
gl-3.2-layered-rendering-clear-depth
slabtop
bareos-dir
fit_spline_xform
ecaccess-file-dir
fastx_renamer
gmerlin_launcher
x_solve_dc_drift
iclass
veend
pegasus-statistics
ppdfilt
test_amqp.py
sflphone-client-gnome
atk6-fake_mld26