pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
mergelocales.py
autotest-daemon
bcfg2-repo-validate
globus-xioperf
g.setproj
gvfs-rename
h52gif
fiascotopnm
arb_explicit_uniform_location-array-elements
glsl-1.50-transform-feedback-type-and-size
qdstat
rcsfreeze
dos-new-ip6
scs2ps
ample
mips-linux-gnu-objcopy
bpm-tag
cdfvhst
clmake-short
dinifti
gjavah-4.9
gnomint-cli
ionscript
mathtex
tsoutputswitch
pserve3
raxmlHPC
winedbg-development
xorp_igmp
optimise