pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
arm-linux-gnu-ld
trashroutes
v.neighbors
ltspfs_umount
al
semver
card_eventmgr
arb_texture_view-queries
ext_transform_feedback-immediate-reuse
rpc.rquotad
smp_rep_manufacturer
qserverd
whatmask
deletall
powerpc-linux-gnu-elfedit
bluemon
DBusViewer
sha512
ramsgate
leave
izattach
luac50
mipe2fas
vxtest.mpd
rfdformat
notangle
jsadebugd
stepic
waitress-serve-python2
trace_dump