pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
ld
dnssec-trigger-panel
g.mapsets
GMXRC.csh
jack_showtime
xsltproc
mdel
rdx
ocioconvert
horde-translation
smtp-source
fd_ifc.x_openmpi
smbios-lcd-brightness
setfacl
bluedevil-wizard
dh_installdebconf
drbl-gen-ssh-host-keys
maxcut
readPYBase
r.proj
wine
xml2marc
obd2csv
opencc_dict
exrdisplay
pytagsfs
pg_dotconf.py
datemail
roarsin
tgtt