pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
coretest_blit2
typemaker
mongorestore
novnc_server
pmcat
array-depth-roundtrip
ext_framebuffer_multisample-negative-copyteximage
glx-create-context-indirect-es2-profile
podofoimpose
pasteurize-2
qlalr
recordmydesktop
skin
winpdb
zim
powerpc-linux-gnu-strings
ctnnetwork
dcml2pnm
dpatch-edit-patch
FreeCAD
glam2format
ii
assa-genesis-3.5
mount.crypt
mafft-profile
png2yuv
mopidy
mark_service_started
uuidcdef
xenpvnetboot