pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
enchant
diameterc
fontopia
guile-tools
ipv6calc
sensors-detect
nopt
pmnsmerge
arb_separate_shader_object-rendezvous_by_location
glsl-fs-texture2drect
smbldap-passwd
wipefs
mod_python
editra
aslink
clojure1.6
drbl-run-parts
ct_run
gozerbot-stop
cluster
imcfw
termcast
install-sh
windowmasker
Sample-NiCRead
vacuumdb
procmeter3-lcd
tiger-hash
tree_recon
SpectraFilterWindowMower