pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mmldif-bin
bam
ld
g_clustsize_d
vmcore-dmesg
mdb-header
mmm_agentd
java_count
xfce4-keyboard-settings
aevol_misc_extract
mipsel-linux-gnu-size
cdfwhereij
expect_xkibitz
pspolar
grokevt-addlog
get_root_domain
idlc.bin
lps2pbes
sapserver
oarnodesetting
cdimage_resource
decomment
htseq-count
messagingaccounts
science-presentation
atst-int32
prefetch.2.3.5
taggrepper
qjadeo
xorpsh