pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
btt
dmtcp_rm_loclaunch
g_helix
kded
ocamlbuild
crm_ticket
nproxy
sperl5.10.1
redland-config
testdisk
tg-admin
xfig
pg2cdbi.pl
corosync-fplay
recoder
gwc
condor_ft-gahp
pmark
midi2ly
linaro-hwpack-create
mnc2nii
xtrabackup
pristine-orig
tomcat_test
polygraph-pgl2acl
smokegen
sb_unheader
trash-rm
valabind-cc
xcb