pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
clc-clbuild
emacs-23.1-nox
euare-userupdateinfo
flashrom
ghc
gpgconf
sctp_status
ppod2txt
html_template_phplibtool
catkin_create_pkg
nisserver-plugin-defs
ul
conjugue-ISO-8859-1
cgclassify
cinnamon
kermrc
dv4l
fastx_trimmer
manage-apache-config.sh
hime-tsd2a32
mifare-desfire-access
pscan
pyvenv-3.4
pysnmptrap
itango
qrqscore
rsh-redone-rsh
amk_p2-int64
atk6-detect-new-ip6
catmaster