pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
isi2xml
eric4-unittest
readmult
hpsa_lsmplugin
ntfscat
fdo10370
glsl-fs-fragcoord-zw-ortho
stow
dos-new-ip6
udevd
editres
autoclass
blueman-applet
cansniffer
make-gnome-freecell-board
kamerka
launcher.properties
nfc-relay
encapsulate
pcl_convolve
dgtst-int64
pymissile-movetointercept
grib_repack
ttut
texifyB
installfont-tl
PrecursorIonSelector
patextract
xenpvnetboot
xxkb