pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld.bfd
conspy
fvwm-menu-xlock
cbq
kctreetest
mpitests-osu_acc_latency
mpirun.ch_gen2.args
obchiral
py.test-2.6
wfdd.x_openmpi
sane-find-scanner
system-config-kdump
spattach
realcsh.c
cairo-analyse-trace
list_latest_rpm
d-devlibdeps
fontypython
freefoam-execFlowFunctionObjects
gpiv_fi-keyline
iptables-apply
traceconvert
topica2mail
magicsort
mh_installpom
mooproxy
nib-ls
tcptrace
update-usbids
xen-ringwatch