pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
h8300-linux-gnu-elfedit
cleanarch
dwatch
GenDepex
grd2xyz
g_cluster_d
lcg-lr
vgmknodes
myisampack
night_pointer
victronups
pbzip2
rt-email-dashboards
ssmtp
mod2zmod
tm_mathematica
deletall
m68hc11-readelf
cdfsiginsitu
freefoam-ansysToFoam
freefoam-job
pssegyz
gnome-phone-manager
kid3
allegro-config
ibwtest
pygopherd
quickml-ctl
slrn
vdb-config