pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
fence_vmware_helper
fbsetbg
grdmath
mpdsigjob.py
mpiname
pcl_pcd2vtk
arb_uniform_buffer_object-maxblocks
ext_transform_feedback-position
pcp_attach_node
pyrsa-keygen
subnetcalc
supervisorctl
dviconcat
autoconf2.64
db5.3_checkpoint
freefoam-porousInter
i686-w64-mingw32-gdb
indi_lx200gps
lessecho
make_combined_log2
wikipedia
lttv.real
check_perms
mrtg-ping-probe
mutt_dotlock
dib-lint
rt-session-viewer-4
pmqtest
specto
zeitgeist-datahub