pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amd2sun
bin2m
euare-userdelkey
gdb-add-index
trend1d
kfind
kshell
cd-drive
mpitests-IMB-EXT
numatop
tripplite
asciidoctor-safe
wineserver64
biff
log2asc
log2long
update-rc.d
r.carve
kdenlive
freenect-cppview
efa
mysqlanalyze
osgwidgetinput
profnet_isis
sb2
uim-pref-gtk
ulatency-gui
valknut
xcf2pnm
ykval-export-clients