pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
b43-asm.bin
emem
file
gfal-ls
urlencode
hal-disable-polling
smtp-sink
quakestat
samtools
tasksh
httxt2dbm
ldap2fai
arm-none-eabi-addr2line
mips64el-linux-gnuabi64-c++filt
cantor
cdvpasswd
mkesmtpdcert
Fgrids
gwu
gfan_bases
hexgplc-iso
kcollectd
llvm-diff-3.4
parallel-nuke
master1
rss2irc
s9hts
sipcrack
DBExporter
ackinfo.cgi