pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
h8300-linux-gnu-elfedit
eggdrop
gpvc
hncdump
ldns-zsplit
less
mailx
pbmtoxbm
mimedump
arb_texture_view-clear-into-view-2d
fs.x
qucsattenuator
statgrab-make-mrtg-config
svn2cl
vdw_kernelgen
infoseq
gbrowse_syn_load_alignments_msa
gs_make
gri_unpage
ca.pl
gdcmscu
pkann
print_qiime_config.py
split_otu_table.py
refdbc
udp-sender
vflbanner
vbview2
xtail
zssh