pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
giffix
mpic++
hydra_pmi_proxy
airmass
arb_uniform_buffer_object-negative-bindbufferrange-range
glsl-uniform-out-of-bounds
vbo-subdata-zero
nf2csv
rpmreaper
spamc
weave
aewm++_appbar
dcposn
drbl-get-common-username
find-url-in-yum-set
typer
fp-reg-decrypt
viewvc.asp
giftrans
pmwtf
pvtkpython
atst-int64
smb-nat
pitchmark
trpg
tos-decode-flid
unifontchojung
xcfview
xentop
runzeo