pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
alsaunmute
runant.py
nm
gnome-display-properties
ibhosts
intel_disable_clock_gating
rcp
libreoffice
pcl_mls_smoothing
powertop
qt3to4
check
rpmdep.pl
will_python_raise
fsck.xfs
mpxstats
check_postgres_wal_files
evolver
frown
g++-4.9
xqueryx2xquery
gdcmxml
repeat-match
jsadebugd
ossim-modopt
pegasus-tc-converter
pspresent
pyro-xnsc
wmnd
x42-scope