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-analyze-vmcore
pktoip6
cupsfilter
darkplaces-quake-sdl
lprsetup.sh
he
kpasswd
fbo-generatemipmap-cubemap
lhapdf-getdata
bundler
sslogger
alurestream
amsn-remote-CLI
astribank_allow
dconvlum
encfs
jdb
applygeo
ktouch
commons-launcher.jar
ebook
mwaw2text
lintian-info
genpeimg
mp3wrap
sauce
selinux_check_securetty_context
skyeye
svn-workbench
french-conjugator