pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ttf2svg
hppa64-linux-gnu-objdump
foomatic-fix-xml
gmtdefaults
applygnupgdefaults
g_sorient_d
rbldns
pcl_xyz2pcd
GET
add-environment-variables.cmd
wmlmove
x2gofeaturelist
xapian-tcpsrv
xsetmode
archmage
atftp
arm-linux-gnueabihf-strings
clamd
splitdns323fw
ttyrec2ansi
sync
mpskip
oarnodes
oggTranscode
pmlock
perlpanel-applet-install
aimk
qmail-send
memcacheSync.php
zsh4-static