pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
gfal_unittest
gkermit
r.bitpattern
tigge_name
guilt-init
cc
ktimetracker
ganesha_stats
cmsutil
nsec3dig
semodule_package
genreflex
siggen
userformat
wvunpack
colormake-short
green.lut
g-ir-scanner
v.kernel
hostap_diag
licensing
mpccut
node
osgscreencapture
pdlzip
pkcs11-dump
rspamc
sbnc
amk_m2-int64
rib_show_routes