pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
arm-linux-gnu-ranlib
json.cgi
dhcp_release
euare-usermod
glusterfs
g_tcaf_d
koji-containerbuild
pvftormd
nscd
f2py
DRAWEXE
restorecon
proofexecv
groupmems
shinken-discovery
rubibtex
parasite6
funzip
airmon-ng
cudf2lp
bluedevil-monolithic
demux
intel_framebuffer_dump
dccplsi
fstabinfo
name-client-2
pffexport
taud
vcf-to-ics
zypp-refresh