pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld
m68k-linux-gnu-elfedit
condor_replication
multipath
bluetooth-sendto
htload
lcg-gt
tlocal
pmlogextract
mnemo-convert-datatree-shares-to-sql
arb_geometry_shader4-program-parameter-input-type-draw
scorep-score
xlock
as
bf_copy-tokyocabinet
cinnamon-screensaver-lock-dialog
mkstatic
ontogetup
git-debimport
gm-dump_schema
r.out.pov
bdump
drmmer
easy_install-3.4
estimate_observation_richness.py
razers
rtdServer
slonik_merge_sets
patch-hmm.pl
im.pl