pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
euscale-put-notification-configuration
ghc-7.0.4
g_morph
iok
sgml2rtf
nodeunit
watchreader
openvas-rmuser
pcl_obj2vtk
rootd
mason_handler.fcgi
dmascc_cfg
col5
cronolog
dmraid-activate
funjoin
gadmin-proftpd
gjots2html
gupnp-universal-cp
hpmount
mifare-desfire-format
regina-config
swetest
tsnullshaper
owdir
partclone.ntfs
pegasus-transfer
pyplusplus_gui.pyw
sagasu
software-properties-kde