pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
balignsim
db43_deadlock
gnome-at-properties
dvd-ram-control
foomatic-replaceoldprinterids
g_nmtraj_d
ps2fax.gs
gcc
iprofd
oocalc
mount.ntfs-fuse
camlp4orf
createuser
ssdeep
bak2db
k2f
amavisd-status
bp_process_sgd
blktrace
dr_symlinks
r.distance
rrd-client-infrant.pl
pdfchain
isofilter0
psi-plus
rc
extract_qual
trimage
vrsetup
xcfinfo