pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld.bfd
fatnew
list_admins
exiftool
module_info
rdiff-backup
bg5latex
wineconsole
buthead
clang-format
dh_clideps
colormake
dma
arm-none-eabi-g++
hmm2index
jack-keyboard
jvim
kismet_capture
odf2pod
mate-file-share-properties
mensis
nagios3
nowhere
osgdatabaserevisions
parchive
tntrancid
rlprd
svn-multi
wpg2odg
zenlisp