pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
hppa64-linux-gnu-addr2line
c99
opentool
gtbl
h5debug
iperf
makedb
opengl-game-wrapper.sh
mimeopen
h2ph
built-in-constants
nv_conditional_render-generatemipmap
rngtest
genmap
pppoe-sniff
tqsl
ttf2pt1
xmltoman
bogoutil-bdb
sdcc
cd-circleprint
csdp-randgraph
unitdiff-2.6.4
add_rel_link.sh
findorule
sortm
pkgconfig.mpb
qemu-system-moxie
rifiuti2
uni2ascii