pkgs.loginroot.com
Home
Packages
Binaries
Binary: agda
Debian packages that has this binary:
Package:
agda-bin
/usr/bin/agda
Random binary cloud:
aoe-version
avr32-linux-gnu-objdump
srmv2.2
VfrCompile
xml_from_edoc.escript
r.li.patchnum
mpitests-osu_allreduce
filebucket
vmmouse_detect
axel-kapt
check_postgres_txn_time
ocs-sr
pjrec
db5.1_verify
drbl-netinstall
ecaccess-queue-list.bat
gpiv_piv2grid
king
mdk2solv
noroff
tsmask
plpftp
prodigal
fix_arb_fasta.py
rxvt-unicode
unattended-upgrades
unidup
vbim
ndsend
xrlogin