pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
arcstorage-ui
dfutool
gnuplot-minimal44
grib_list_keys
check_lft_balance.pl
irclog2html
pstex2eps
pwcond.x
ceflatex
uuxqt
bp_dbsplit
dh-make-drupal
falconeer.fal
ptop-2.6.4
freehdl-v2cc
ged2gwb
gnunet-download
v.label.sa
condor_configure
overchan
chprop
kbanner.kss
lou_checkhyphens
sockdown
python3dm-config
parallel_assign_taxonomy_uclust.py
icmd
fastq-load.2
cub2pngs
bgp_print_routes