pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
repl-monitor
abrt-action-analyze-c
strip
berkeley_db43_svc
cupsaddsmb
db2pdf
euscale-put-scaling-policy
openapp
grib_histogram
ext_framebuffer_multisample-polygon-smooth
x2gomountdirs
dh_autotools-dev_updateconfig
gmm
ecaccess-association-put
gmt_shell_functions.sh
x2sys_list
i686-w64-mingw32-gnatmake-win32
ipescript
go-dag-summary
loki_count
ocrfeeder
pfsextractchannels
encode.py
python2-misaka
rdfgraphisomorphism
amk_fft2
syncpackage
velveth_63_long
char2sp
zapping_setup_fb