pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
abrt-action-generate-backtrace
pand
pump
fts-config-get
fgrep
unshunt
bdecode
pgtune
qtpaths
aer-inject
texconfig-dialog
loginfo-handler
sessreg
AdunCore
aprsmon
drivemap
bootpc
scan-build-3.5
directoryassistant
ecaccess-job-submit.bat
envstore
freefoam-surfaceAdd
gmerlin_plugincfg
scanimage-perl
arping
stag-drawtree
lsh-make-seed
mia-3dseries-track-intensity
ptpd
jamo-normalize