pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
getds
gfal-legacy-register
gpgv2
split2po
espdiff
horde-clear-cache
arb_clear_buffer_object-null-data
sg_safte
factor
besside-ng
dgrep
style
ctermd
envset.cmd
gmerlin_transcoder
hatari-winuae
dunedoxynize
tmx-tokenize
2nash
mate-power-backlight-helper
pt-summary
pfstmo_reinhard05
__init__.py
swift
nmds.py
start_parallel_jobs.py
nntp-pull
snget
vct
splrun