pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
btrfs-show
condor_kbdd
g_clustsize
imsettings-start
kmdr-executor
pcp_node_info
powertop
pk2bm
po2csv
raseq
mips-linux-gnu-nm
cassiopeeknife
cfrun
check_postgres_fsm_pages
kermit-sshsub
courierpassd
gpm-microtouch-setup
hime-tsd2a32
deghosting_mask
bsscounter
llvm-tblgen
frm.mailutils
mpmv
watchdog
rlfe
rocs
dynect.rb
dfg2dfg
MRMMapper
xwax