pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
admesh
openvas-client
pango-querymodules-64
pcl_ndt2d
pcp-numastat
flamegraph.pl
gunicorn
sslogger-slogd
lcp_crtpollist
httexi
lzmore
bp_composite_LD
db5.3_dump
translate_cmip3
debugfs
ecaccess.bat
ontogetsibs
gmtset
i686-w64-mingw32-gnatxref-win32
i.class
Mono.TextEditor.dll
dvdxchap
jdb
pmlogrewrite
pvm
pixeltool
sam2p
sawfish
ttfautohint
tester