pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ceph_test_cors
cherokee
clac
stty
dar_slave
uk
pmnsdel
vacuumlo
smbios-upflag-ctl
unlzma
btcompletedirgui.bittorrent
cdfvita
esmtpd-msa
dictl
di
dkim-milter
printClass
gpm-microtouch-setup
r.li.patchdensity
roff2dvi
transicc
lilo
lpsbinary
upet2mnc
iolatency
rig
bp.pl
html2stx
tos-serial-configure
wgdb