pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
apcupsd
avrdude
ld.bfd
objdump
x86_64-linux-gnu-strip
btreplay
ck-launch-session
filter-langcover
ttx
nop
index_dump
vgimport
mk-show-grants
pccardctl
importexport_binary.x
radstatus
sinjdoc
smssend
tcpbridge
cleancss
select-default-ispell
wordmatch
trace_context
kalign
pof3
orte-restart
otrs.CheckDB.pl
Shape_PointInPoly
xymonfetch
zoo