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-c++filt
objdump
byobu-reconnect-sockets
dirac_RGBtoYUV444
urlsnarf
umount.ewf
FreeCADCmd
grdlandmask
ntfsls
pstree.x11
qhelpgenerator-qt5
rpcinfo
sg_rbuf
blaze-remove
clinfo
drumstick-dumpwrk
install-exim4.sh
grub-menulst2cfg
cmstat
linux-version
lives_gif_encoder3
asmtpd
maria-vis
mm
pmnsadd
umount.ploop
rox
slim
regsvr32-development
zopectl