pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bdii-update
gidd_alloc
gwenhywfar-config
i2cset
ibmssh
kapptemplate
cvpcb
mtp11-connect
mlpack_linear_regression
monop2
square
tolua++
ecl
evemu-device
vrml2oogl
memcparse
Packages
lldb-platform-3.4
osmpbf-outline
findstrip
phonefsod
ncpd
widgetserver
y2racc
rlpq
shatagd
shelr
komkindex
tor
logo