pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
v.vect.stats
gij
m17n-db
libwinpthread-1.dll
mdir
fake_recall
ldapurl
otangle
flood_mldrouter6
appstream-validate
arbtt-stats
bacula-console-qt
ar
xduplic-copier
drbl-rm-user
dvbsnoop
pepwindow
mkfs.exfat
flextra.gfs
gbsinfo
gsmctl
lessecho
nyancat-server
open-axiom
osgparticleeffects
opensesame
applet-coherence
qrls
vam
xmousepos