pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
powerpc64-linux-gnu-size
dar_xform
exim_tidydb
mtp-folders
mongodump
ocamlfind
symfony
scotch_gpart
opxdvi
xlogo
apt-dater-host
arm-none-eabi-elfedit
canplayer
gmtpath
jack_mix_box
jh_generateorbitdir
ladishd
nfc-relay
windowmasker
nifti_stats
upssched
opencc
osgthirdpersonview
pt-kill
predictnls
qqwing
compare-histos
sff-dump.2.3.5
tightvncpasswd
matchmol