pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amtu
tile-linux-gnu-readelf
dpm-sql-usage-by-vo-user
freeDiameterd-1.1.2
fts-rest-transfer-status
gnat
gslj
mpicc
mpiname
mpirun
nypatchy
activeprogram-get
draw-vertices
revoker
rbd-fuse
rdiff-backup-statistics
autodep8
bfgminer
bldinsert
bogoupgrade-bdb
featreport
escript
polyorb-config
live-medium-eject
llvm-rtdyld
see
dump_acr_nema
quiterss
sbrsh
svinitd-create