pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
cube_inclusify
foomatic-configure
htmkdir
g_gmxdump
cjpeg
procServ
onto2vocabularyclass
mini-inetd
will_java_throw
xglock
xdpyinfo
apt-rdepends
ard-reset-arduino
powerpc64le-linux-gnu-nm
shef
chuck
cramfsswap
denemo
jpegdump
enlightenment_open
eric5_qregularexpression
gprename
imput
tjl
runsvdir-start
scite
FeatureFinderMetabo
twms
uwsgi_router_access
wp2t