pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
argsparse.sh
bltk_wl_player
condor_store_cred
euca-create-vpn-gateway
qrdel
dc1394_grab_gray_image
mpdhelp.py
myproxy-get-trustroots
apcsmart
link-mismatch-layout-01
pm-utils-bugreport-info.sh
behave
qmake-qt4
flood_solicitate6
x2gofeature
yadifad
cappuccino
cdfcmp
dacslist
go2obo_xml
xpstopdf
ptywrap
llvm-config
normalize-mp3
aklog
actdiag3
qmail-verify
skk2cdb
fastq-load
srapath.2