pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
install
chroot
erl
shield-trigger-iptables
pcl_pcd2vtk
hiz-stencil-test-fbo-d0-s8
pssh
virtualenv-2.6
qpid-stat
ssss-combine
mltex
editra
xrdstagetool
amavisd-agent
msp430-size
fib2image
fd-commit
rs6
vlatai
mkkanwa
mia-2dmyopgt-nonrigid
Psequin
poff
swift-reconciler-enqueue
texifylisp
DigestorMotif
uget-gtk
dynapi.text2var.html
cmdtool
z88i1