pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
arjdisp
condor_schedd
modulecmd
escript
magnifier
lneato
mpicc
ext_texture_integer-api-drawpixels
pcreate
csh
ply
TkAnt
astribank_tool
durep
pepcoil
r.circle
r.resamp.interp
estbutler
acslist
go-filter-subset
mbimcli
mincstats
mysql-workbench
piespy
ptpd
spd-say
test-sra.2
daemon.sh
xen-init-name
zoo