pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
bsdiff
condor_cod
dfbtest_window
euca-delete-network-acl
fence_ilo4_ssh
mn10300-linux-gnu-gcov
gmtconvert
vgcreate
pamarith
l4p-tmpl
pmcat
integer-errors
razor-session
fragmentation6
bibtexconv-odt
dphys-config-exports
diameterc
jserver
POFileEquiv
cola
estload
mpipython.mpich2
hydra_persist
gpu_test
procmeter3-gtk2
rebuildd
afm2pl
makevlsm
wmclockmon
xman