pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
db43_dump
setkey
mr
neotoppm
ogdi-config-32
readpix-z
traffic_crashlog
tkaeca
btdownloadcurses.bittorrent
cinnamon-settings-users
pybuild
dolfin-plot
erl.src
freefoam-renumberMesh
gdebi-gtk
owlttb
cgicc-config
xspp
jpgicc
srx2table
mhparam
procmeter3-lcd
qemu-mips64-static
qtdump
pi_stress
merb-specs
sisu-concordance
webgpg
atk6-fake_dhcps6
active_interactor