pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
artsrec
fence_check
fastahardmask
fts-transfer-status
ldns-chaos
nunit-console2
pnmsplit
ext_transform_feedback-overflow-edge-cases
etex
pofilter
glreadtest
atsopt
rmadison
drbl-wakeonlan
fdnsmx
inetutils-ftp
idevicediagnostics
zypp-CheckAccessDeleted
llvm-rtdyld-3.4
ltsp-info
kinect-3d-view
netperfmeter
numrandom
serialver
pmnewlog
showtree
taurusdemo
weboob-config
gcv
account.sh