pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-action-analyze-oops
score-linux-gnu-addr2line
timeout
febootstrap-minimize
insmod
pamtotiff
ppmtomap
pgpool
protoc-c
importexport_binary.x_mpich
mtxtools
xcutsel
apxs2
apparmor_status
bossash
pg2diagram.pl
calcdatarange
gjdoc-4.8
po2txt
d.info
groovyc
lnpdllx
ltpanel
ompi-top
dgtst-int32
dh_python2
qasmixer
rrdcached
dump_kernel_config
xwit