pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
amixer
fence_virtd
initialize_github2fedmsg_db
h5pfc
hercules-run
llvm-tblgen
auinfo
pnmtopnm
arb_sample_shading-builtin-gl-sample-position
glsl-light-model
samefile
ts2po
odbc_config
bareos-dbcheck
dnssec-checkds
m68hc12-readelf
datefudge
snmpc
faimond-gui
g.mremove
grilo-test-ui-0.2
mia-3dlandmarks-distances
musetup-gtk
nntidy
codeEditor
qthid
tos-serial-debug
udav
valac-0.26
xenstore-rm