pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
clubak
coin-config
g_rmsf_d
kmix
akonadi_nntp_resource
lessecho
mpiname
nymerge-gfortran
qmleasing
rcc
queuegraph-rrd.sh
tolua++
trace-view
arm-none-eabi-elfedit
create_database.sh
bsd-csh
start
fcgiwrap
hlins
unique
umount.crypto_LUKS
sched-migration-record
logapp
tblastx
pcp-free
findrange
pypycompile
python3.4dm
regmerge
vish