pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
dpkg-divert
dpm-ping
eric4-editor
eric4-tray
euca-create-keypair
gnobots2
g_tpbconv
ondelay
lskat
lrzip
night_dark
php-config
glx-oml-sync-control-getmscrate
htcontext
winebuild
a2dismod
congruity
roffpp
treefile
cdbmake
gfan_minkowskisum
gtkmorph
maidag
ltsview
encode64.pl
openvrml-player
pkinfo
qtpaths
stg-gitk
tsnd