pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
hppa64-linux-gnu-gprof
element-info
umount.ecryptfs
jack_showtime
krb5-auth-dialog-preferences
xmllint
discard
mpiman
nc3tonc4
bcmxcp_usb
fbo-generatemipmap-noimage
pilot-install-user
clusvcadm
sg_verify
x2golistsessions_root
proof
cucumber
dnaclust-abun
faifa
gmysqlcc
igal2
kdev-pg-qt
revertpdf
xjc
otpw-gen
pc-project
data_maintainer3
get_comment
copy_db
tv_grab_fi